Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model

Authors:
J. Teich;L. Thiele;E. A. Lee
Affiliations:
Computer Eng. and Comm. Networks Lab, Swiss Federal Institute of Technology (ETH), CH-8092 Zürich, Switzerland;Computer Eng. and Comm. Networks Lab, Swiss Federal Institute of Technology (ETH), CH-8092 Zürich, Switzerland and Department of EECS at UC Berkeley;Department of EECS, University of California at Berkeley, Berkeley, CA
Venue:
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Year:
1995

Citing 4
Cited 0

Communicating sequential processes

Communicating sequential processes
Statecharts: A visual formalism for complex systems

Science of Computer Programming
Scheduling Parallel Computations

Journal of the ACM (JACM)
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Abstract: An approach to system-level modeling and simulation of a class of heterogeneous real-time systems the timing behaviour of which can be modeled by deterministic discrete event systems is described. Examples of systems we consider are self-timed systems, synchronously clocked systems, and mixed asynchronous/synchronous systems. Our model is based on several extensions to the model of timed marked graphs. Basically, we augment this model by adding new schedule constraints such that we can express simultaneity, synchronicity, finite buffering as well as arbitrary combinations of min- and max-constraints. We prove that these extensions allow efficient timing analysis and we show how to simulate realistic systems using the Ptolemy design system.