*banner
 

Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems
Thomas Huining Feng, Edward A. Lee, Hiren Patel, Jia Zou

Citation
Thomas Huining Feng, Edward A. Lee, Hiren 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

Citation formats  
  • HTML
    Thomas Huining Feng, Edward A. Lee, Hiren 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 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
                  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.
Groups: ptolemy
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