MODELING CONCURRENT REAL-TIME PROCESSES USING DISCRETE EVENTS
Invited paper to Annals of Software Engineering, Special Volume on Real-Time Software Engineering, Volume 7, October, 1999, pp. 25-45 (http://www.baltzer.nl/ansoft/). Also UCB/ERL Memorandum M98/7, March 4th 1998.
|Published version td>|
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes with behaviors in the intersection of the behaviors of the component processes. The interaction between processes is through signals, which are collections of events. Each event is a value-tag pair, where the tags denote time. Zeno conditions are defined and methods are given for avoiding them. Strict causality ensures determi-nacy under certain technical conditions, and delta-causality ensures the absence of Zeno conditions.Send comments to Edward A. Lee, eal at eecs berkeley edu