Real-time distributed discrete-event execution with fault tolerance

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS

Volumn , Issue , 2008, Pages 205-214

  Feng, Thomas Huining ^a   Lee, Edward A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; DIGITAL ARITHMETIC; EMBEDDED SYSTEMS; ENHANCED RECOVERY; ERRORS; FAULT TOLERANT COMPUTER SYSTEMS; INTEGRATED CIRCUITS; MECHANISMS; QUALITY ASSURANCE; RELIABILITY;

DISCRETE EVENTS; EMBEDDED TECHNOLOGY; FAULT-TOLERANCE;

REAL TIME SYSTEMS;

EID: 51249089970     PISSN: 15453421     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTAS.2008.22     Document Type: Conference Paper

References (14)

1. F. Baccelli, G. Cohen, G. J. Olsder, and J.-P. Quadrat. Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley, New York, 1992.
2. C. Brooks, E. A. Lee, X. Liu, S. Neuendorffer, Y. Zhao, and H. Zheng. Ptolemy II - heterogeneous concurrent modeling and design in Java. Technical Report UCB/EECS-2007-7, EECS Department, University of California, Berkeley, Jan 2007.
3. K. M. Chandy and J. Misra. Distributed simulation: A case study in design and verification of distributed programs. IEEE Transaction on Software Engineering, 5(5), 1979.
4. M. Chetlur and P. A. Wilsey. Causality representation and cancellation mechanism in time warp simulations. In PADS'01: Proceedings of the fifteenth workshop on Parallel and distributed simulation, pages 165-172, Washington, DC, USA, 2001. IEEE Computer Society.
5. S. Edwards and E. A. Lee. The case for the precision timed (PRET) machine. Technical Report UCB/EECS-2006-149, EECS Department, University of California, Berkeley, Nov 2006.
6. J. Eidson and K. Lee. IEEE 1588 standard for a precision clock synchronization protocol for networked measurement and control systems. In Sensors for Industry Conference, 2002. 2nd ISA/IEEE, pages 98-105, Nov 2002.
7. E. N. M. Elnozahy, L. Alvisi, Y.-M. Wang, and D. B. Johnson. A survey of rollback-recovery protocols in messagepassing systems. ACM Comput. Surv., 34(3):375-408, 2002.
8. T. H. Feng and E. A. Lee. Incremental checkpointing with application to distributed discrete event simulation. In WSC'06: Proceedings of the 38th conference on Winter simulation, pages 1004-1011. Winter Simulation Conference, 2006.
9. D. R. Jefferson. Virtual time. ACM Transactions on Programming Languages and Systems, 7(3):404-25, 1985.
10. J. L. Lawall and G. Muller. Efficient incremental checkpointing of Java programs. In Proceedings of the International Conference on Dependable Systems and Networks, pages 61-70, New York, NY, USA, 2000. IEEE.
11. Z. Manna and A. Pnueli. Verifying hybrid systems. In Hybrid Systems, pages 4-35, London, UK, 1993. Springer-Verlag.
12. J. Misra. Distributed discrete-event simulation. ACM Computing Surveys, 18(1):39-65, 1986.
13. B. Randell. System structure for software fault tolerance. In Proceedings of the international conference on Reliable software, pages 437-449, New York, NY, USA, 1975. ACM Press.
14. Y. Zhao, J. Liu, and E. A. Lee. A programming model for time-synchronized distributed real-time systems. In Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 07), pages 259-268, Bellevue, WA, USA, Apr 2007.