Abstract
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 determinacy under certain technical conditions, and delta-causality ensures the absence of Zeno conditions.
Similar content being viewed by others
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lee, E.A. Modeling concurrent real-time processes using discrete events. Annals of Software Engineering 7, 25–45 (1999). https://doi.org/10.1023/A:1018998524196
Issue Date:
DOI: https://doi.org/10.1023/A:1018998524196