Generic fault-tolerance mechanisms using the concept of logical execution time

Proceedings - 13th Pacific Rim International Symposium on Dependable Computing, PRDC 2007

Volumn , Issue , 2007, Pages 3-10

  Buckl, Christian ^a   Regensburger, Matthias ^a   Knoll, Alois ^a   Schrott, Gerhard ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; INFORMATION THEORY; MECHANISMS; RELIABILITY; SOFTWARE ENGINEERING; TECHNOLOGY;

AUTOMATIC GENERATION; CODE GENERATORS; DEPENDABLE COMPUTING; EXECUTION SEMANTICS; FAULT-TOLERANCE MECHANISMS; INTERNATIONAL SYMPOSIUM; LOGICAL EXECUTION TIME; MODEL-BASED DEVELOPMENT; PACIFIC RIM; STATE OF THE ARTS; STATE SYNCHRONIZATION;

QUALITY ASSURANCE;

EID: 50049116393     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2007.39     Document Type: Conference Paper

References (16)

1. A. Avizienis and L. Chen. On the implementation of n-version programming for software fault-tolerance during program execution. In Proc. COMPSAC'77, Nov 1977.
2. C. Buckl, A. Knoll, and G. Schrott. Model-based development of fault-tolerant embedded software. In Second International Symposium on Leveraging Applications of Fomal Methods, Verification and Validation (IEEE-ISoLA), pages 113-120, 2006.
3. C. Buckl, M. Regensburger, A. Knoll, and G. Schrott. Models for automatic generation of safety-critical real-time systems. In Second International Conference on Availability, Reliability and Security (ARES 2007), pages 580-587. IEEE Computer Society, Apr 2007.
4. F. J. Budinsky, M. A. Finnie, J. M. Vlissides, and P. S. Yu. Automatic code generation from design patterns. IBM Systems Journal, 35(2): 151-171, 1996.
5. F. Cristian and C. Fetzer. Probabilistic internal clock synchronization. In Symposium on Reliable Distributed Systems, pages 22-31, 1994.
6. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. In First International Workshop on Embedded Software (EMSOFT), pages 166 - 184, 2001.
7. I. Johnson, C. Snook, A. Edmunds, and M. Butler. Rigorous development of reusable, domainspecific components, for complex applications. In CSDUML'04 - 3rd International Workshop on Critical Systems Development with UML, 2004.
8. H. Kopetz. Real-Time Systems, Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht, Nederlands, 1997.
9. H. Kopetz and G. Bauer. The Time-Triggered Architecture. Proceedings of the IEEE, 91(1):112 - 126, Jan. 2003.
10. L. Lamport and P. M. Melliar-Smith. Synchronizing clocks in the presence of faults. J. ACM, 32(1):52-78, 1985.
11. P. A. Lee and T. Anderson. Fault Tolerance: Principles and Practice. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1990.
12. J. W. S. W. Liu. Real-Time Systems. Prentice Hall PTR, Upper Saddle River, NJ, USA, 2000.
13. S. Poledna, A. Burns, A. Wellings, and P. Barrett. Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Transactions on Computers, 49:100-110, Feb. 2000.
14. D. K. Pradhan. Fault-Tolerant Computer System Design. Prentice Hall, 1996.
15. U. Schmid and K. Schossmaier. Interval-based clock synchronization. Real-Time Systems, 12(2): 173-228, 1997.
16. TTTech Computertechnik AG. Time Triggered Protocol TTP/C High-Level Specification Document. 2003.