Real-time distributed discrete-event execution with fault tolerance

TH Feng, EA Lee - 2008 IEEE Real-Time and Embedded …, 2008 - ieeexplore.ieee.org
2008 IEEE Real-Time and Embedded Technology and Applications Symposium, 2008ieeexplore.ieee.org
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 …
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 fault- tolerant real-time distributed DE systems.
ieeexplore.ieee.org
Showing the best result for this search. See all results