loading...
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Bellevue, Washington April 03-April 06
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTAS.2007.513th IEEE Real Time and Embedded Tech ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Yang Zhao, UC Berkeley, USA
Jie Liu, One Microsoft Way, USA
Edward A. Lee, UC Berkeley, USA
Discrete-event (DE) models are formal system specifications 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 relies on having a distributed common notion of time, known to some precision. Based on causality analysis of DE models, we define relevant dependency and relevant orders to enable out-of-order execution without compromising determinism and without requiring backtracking.
Citation:
Yang Zhao, Jie Liu, Edward A. Lee, "A Programming Model for Time-Synchronized Distributed Real-Time Systems," rtas, pp.259-268, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07), 2007
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions