Citation
Thomas Huining Feng, Edward A. Lee, Hiren D. Patel, Jia Zou. "Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems". Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 08), Work-in-Progress Session, April, 2008.

Abstract
Zhao, Liu, and Lee have proposed using a discrete-event (DE) model of computation as a programming model for distributed real-time embedded systems. The advantage of using DE is that it provides a semantic foundation that is simple, time-aware, deterministic and natural as a specification language for many applications. This programming model is based on a carefully chosen relationship between DE's model time and real time (physical time). We define here a criterion that preserves conservative execution (thus not requiring backtracking) while allowing for concurrent and distributed execution. The classic Chandy and Misra technique is one execution policy that satisfies the criterion, but the criterion explicitly allows many other alternatives. We discuss alternatives that offer more concurrency than Chandy and Misra and that exploit time synchronization to eliminate the need for null messages.

Electronic downloads

• rtas_wip.pdf · application/pdf · 190 kbytes

Citation formats

• HTML

  Thomas Huining Feng, Edward A. Lee, Hiren D. Patel, Jia Zou.
  <a
  href="http://chess.eecs.berkeley.edu/pubs/402.html">Toward
  an Effective Execution Policy for Distributed Real-Time
  Embedded Systems</a>, Proceedings of the 14th IEEE
  Real-Time and Embedded Technology and Applications Symposium
  (RTAS 08), Work-in-Progress Session, April, 2008.

• Plain text

  Thomas Huining Feng, Edward A. Lee, Hiren D. Patel, Jia Zou.
  "Toward an Effective Execution Policy for Distributed
  Real-Time Embedded Systems". Proceedings of the 14th IEEE
  Real-Time and Embedded Technology and Applications Symposium
  (RTAS 08), Work-in-Progress Session, April, 2008.

• BibTeX

  @inproceedings{FengLeePatelZou08_TowardEffectiveExecutionPolicyForDistributedRealTime,
      author = {Thomas Huining Feng and Edward A. Lee and Hiren D.
                Patel and Jia Zou},
      title = {Toward an Effective Execution Policy for
                Distributed Real-Time Embedded Systems},
      booktitle = {Proceedings of the 14th IEEE Real-Time and
                Embedded Technology and Applications Symposium
                (RTAS 08), Work-in-Progress Session},
      month = {April},
      year = {2008},
      abstract = {Zhao, Liu, and Lee have proposed using a
                discrete-event (DE) model of computation as a
                programming model for distributed real-time
                embedded systems. The advantage of using DE is
                that it provides a semantic foundation that is
                simple, time-aware, deterministic and natural as a
                specification language for many applications. This
                programming model is based on a carefully chosen
                relationship between DE's model time and real time
                (physical time). We define here a criterion that
                preserves conservative execution (thus not
                requiring backtracking) while allowing for
                concurrent and distributed execution. The classic
                Chandy and Misra technique is one execution policy
                that satisfies the criterion, but the criterion
                explicitly allows many other alternatives. We
                discuss alternatives that offer more concurrency
                than Chandy and Misra and that exploit time
                synchronization to eliminate the need for null
                messages.},
      URL = {http://chess.eecs.berkeley.edu/pubs/402.html}
  }
  

Posted by Thomas Huining Feng on 12 Mar 2008.
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.