"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  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.
M.S. in Computer Science
University of Missouri--Rolla
ix, 75 pages
© 2000 Marutikumar Chittajallu, All rights reserved.
Thesis - Restricted Access
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.http://merlin.lib.umsystem.edu/record=b4444273~S5
Chittajallu, Marutikumar, "Event history clipping in real time systems" (2000). Masters Theses. 1933.
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.