*banner
 

A Programming Model for Time-Synchronized Distributed Real-Time Systems
Yang Zhao, Jie Liu, Edward A. Lee

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess