Citation
Yang Zhao, Jie Liu, Edward A. Lee. "A Programming Model for Time-Synchronized Distributed Real-Time Systems". 13th IEEE Real Time and Embedded Technology and Applications Symposium, 2007. RTAS '07, 259 - 268, April, 2007.

Abstract
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.

Electronic downloads

• http://ptolemy.eecs.berkeley.edu/publications/papers/07/RTAS/
• http://dx.doi.org/10.1109/RTAS.2007.5
• http://chess.eecs.berkeley.edu/pubs/221.html. (Keynote presentation also available.)

• HTML

  Yang Zhao, Jie Liu, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/325.html"
  >A Programming Model for Time-Synchronized Distributed
  Real-Time Systems</a>, 13th IEEE  Real Time and
  Embedded Technology and Applications Symposium, 2007. RTAS
  '07, 259 - 268, April, 2007.

• Plain text

  Yang Zhao, Jie Liu, Edward A. Lee. "A Programming Model
  for Time-Synchronized Distributed Real-Time Systems".
  13th IEEE  Real Time and Embedded Technology and
  Applications Symposium, 2007. RTAS '07, 259 - 268, April,
  2007.

• BibTeX

  @inproceedings{ZhaoLiuLee07_ProgrammingModelForTimeSynchronizedDistributedRealTime,
      author = {Yang Zhao and Jie Liu and Edward A. Lee},
      title = {A Programming Model for Time-Synchronized
                Distributed Real-Time Systems},
      booktitle = {13th IEEE  Real Time and Embedded Technology and
                Applications Symposium, 2007. RTAS '07},
      pages = {259 - 268},
      month = {April},
      year = {2007},
      abstract = {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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/325.html}
  }
  

Posted by Christopher Brooks on 7 Jun 2007.
Groups: ptides
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.