Masters Theses


"The components of an Automated Highway System (AHS) are a set of computing agents or processes which synchronize with each other from time to time and exchange information about themselves and others, in real-time. In designing real-time systems, assumptions are made about the behavior to the system and its environment. These assumptions take many forms: upper bounds on inter-process communication's delay, deadlines on the execution of task, or minimum separations between occurrences of two events. Every agent requires to record earlier event occurrences, for run-time monitoring of system constraints. Details of event occurrences are recorded in event histories. It is impractical to keep entire event histories due to memory constraints. We are faced with unique problem of clipping the event histories at every agent. Gossip messages of Bernstein [4] provide a partial solution, clip the part of event history known to every other agent. Even though every agent knows about a part of event history, it is not sufficient condition to clip that part of event history, as it might still be useful of future event occurrences. The above problem is addressed in the thesis. An algorithm is proposed to clip event history at each agent. The algorithm is based on the hypothesis that a real-time event-driven system would return to a stable recurrent state after making transition to semi-stable or meta-stable states. Also in AHS, failure of any of the components can cause system failure. To detect component failure this paper proposes the transaction as a model for applying assertions with time bounds to the system. Transactions are used to monitor the correctness of the system and environment constraints that can be violated at run-time and thus help in monitoring time-critical systems at runtime"--Abstract, page iii.


McMillin, Bruce M.

Committee Member(s)

Fu, Yongjian
Krishnamurthy, K.


Computer Science

Degree Name

M.S. in Computer Science


University of Missouri--Rolla

Publication Date

Spring 2000


ix, 75 pages

Note about bibliography

Includes bibliographical references (pages 72-74).


© 2000 Marutikumar Chittajallu, All rights reserved.

Document Type

Thesis - Restricted Access

File Type




Thesis Number

T 7773

Print OCLC #


Electronic OCLC #


Link to Catalog Record

Electronic access to the full-text of this document is restricted to Missouri S&T users. Otherwise, request this publication directly from Missouri S&T Library or contact your local library.

Share My Thesis If you are the author of this work and would like to grant permission to make it openly accessible to all, please click the button above.