Skip to main content
Log in

Modeling concurrent real-time processes using discrete events

  • Published:
Annals of Software Engineering

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1018998524196

Keywords

Navigation