Masters Theses
Abstract
"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.
Advisor(s)
McMillin, Bruce M.
Committee Member(s)
Fu, Yongjian
Krishnamurthy, K.
Department(s)
Computer Science
Degree Name
M.S. in Computer Science
Publisher
University of Missouri--Rolla
Publication Date
Spring 2000
Pagination
ix, 75 pages
Note about bibliography
Includes bibliographical references (pages 72-74).
Rights
© 2000 Marutikumar Chittajallu, All rights reserved.
Document Type
Thesis - Restricted Access
File Type
text
Language
English
Thesis Number
T 7773
Print OCLC #
44652966
Electronic OCLC #
1113867527
Recommended Citation
Chittajallu, Marutikumar, "Event history clipping in real time systems" (2000). Masters Theses. 1933.
https://scholarsmine.mst.edu/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.