Predictability of real-time systems: a process-algebraic approach

TitlePredictability of real-time systems: a process-algebraic approach
Publication TypeConference Papers
Year of Publication1996
AuthorsNatarajan V, Cleaveland R
Conference NameReal-Time Systems Symposium, IEEE International
Date Published1996///
PublisherIEEE Computer Society
Conference LocationLos Alamitos, CA, USA
Keywordsprocess algebra; real time systems predictability; process algebra; testing-based semantic preorder; process description language; tpl; timing behavior; variability; activity-completion times; semantic preorder; must-preorder; optimality

This paper presents a testing-based semantic preorder that relates real-time systems given in the process description language TPL on the basis of the predictability of their timing behavior. This predictability is measured in terms of the amount of variability present in processes' "activity-completion times". The semantic preorder is shown to coincide with an already existing, well-investigated implementation relation for TPL-the must-preorder. The optimality of our relation is also established by means of a full abstraction result. An example is provided to illustrate the utility of this work.