Sciweavers

Share
RTAS
2007
IEEE

A Programming Model for Time-Synchronized Distributed Real-Time Systems

9 years 10 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system speciļ¬cations that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via time-stamped events. DE models have primarily been used in performance modeling and simulation, where time stamps are a modeling property bearing no relationship to real time during execution of the model. In this paper, we extend DE models with the capability of relating certain events to physical time. We propose a programming model, called PTIDES (Programming Temporally Integrated Distributed Embedded Systems), which has DE semantics, but with carefully chosen relations between model time and real time. Key to making this model effective is to ensure that constraints that guarantee determinacy in the semantics are preserved at runtime. To accomplish this, we give a distributed execution strategy that obeys DE semantics without the penalty of totally ordered executions based on time stamps. Our technique r...
Yang Zhao, Jie Liu, Edward A. Lee
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where RTAS
Authors Yang Zhao, Jie Liu, Edward A. Lee
Comments (0)
books