*banner
 

Real-Time Distributed Discrete-Event Execution with Fault Tolerance
Thomas Huining Feng, Edward A. Lee

Citation
Thomas Huining Feng, Edward A. Lee. "Real-Time Distributed Discrete-Event Execution with Fault Tolerance". 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), IEEE, 205 - 214, April, 2008.

Abstract
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE execution by allowing more concurrent event processing without backtracking.

This paper discusses the general execution strategy for PTIDES, and provides two feasible implementations. This execution strategy is then extended with tolerance for hardware errors. We take a program transformation approach to automatically enhance DE models with incremental checkpointing and state recovery functionality. Our fault tolerance mechanism is lightweight and has low overhead. It requires very little human intervention. We incorporate this mechanism into PTIDES for efficient execution of faulttolerant real-time distributed DE systems.

Electronic downloads

Citation formats  
  • HTML
    Thomas Huining Feng, Edward A. Lee. <a
    href="http://chess.eecs.berkeley.edu/pubs/389.html"
    >Real-Time Distributed Discrete-Event Execution with
    Fault Tolerance</a>, 14th IEEE Real-Time and Embedded
    Technology and Applications Symposium (RTAS 2008), IEEE, 205
    - 214, April, 2008.
  • Plain text
    Thomas Huining Feng, Edward A. Lee. "Real-Time
    Distributed Discrete-Event Execution with Fault
    Tolerance". 14th IEEE Real-Time and Embedded Technology
    and Applications Symposium (RTAS 2008), IEEE, 205 - 214,
    April, 2008.
  • BibTeX
    @inproceedings{FengLee08_RealTimeDistributedDiscreteEventExecutionWithFault,
        author = {Thomas Huining Feng and Edward A. Lee},
        title = {Real-Time Distributed Discrete-Event Execution
                  with Fault Tolerance},
        booktitle = {14th IEEE Real-Time and Embedded Technology and
                  Applications Symposium (RTAS 2008)},
        organization = {IEEE},
        pages = {205 - 214},
        month = {April},
        year = {2008},
        abstract = {We build on PTIDES, a programming model for
                  distributed embedded systems that uses
                  discrete-event (DE) models as program
                  specifications. PTIDES improves on distributed DE
                  execution by allowing more concurrent event
                  processing without backtracking. <p> This paper
                  discusses the general execution strategy for
                  PTIDES, and provides two feasible implementations.
                  This execution strategy is then extended with
                  tolerance for hardware errors. We take a program
                  transformation approach to automatically enhance
                  DE models with incremental checkpointing and state
                  recovery functionality. Our fault tolerance
                  mechanism is lightweight and has low overhead. It
                  requires very little human intervention. We
                  incorporate this mechanism into PTIDES for
                  efficient execution of faulttolerant real-time
                  distributed DE systems. },
        URL = {http://chess.eecs.berkeley.edu/pubs/389.html}
    }
    

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