Development of dependable real-time systems with Zerberus

Proceedings - 11th Pacific Rim International Symposium on Dependable Computing, PRDC 2005

Volumn 2005, Issue , 2005, Pages 404-408

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

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; SPECIFICATIONS;

CERTIFICATION PROCESS; FUNCTIONAL MODEL; ZERBERUS SYSTEM;

REAL TIME SYSTEMS;

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

References (11)

1. G. Berry and G. Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
2. C. Buckl. Zerberus Language Specification Version 1.0. Technical Report TUM-I0501, TU München, Jan. 2005.
3. K. Echtle. Fehlertoleranzverfahren. Springer Verlag, 1990.
4. T. A. Henzinger, B. Horowitz, and C. M. Kirsch. Giotto: A time-triggered language for embedded programming. Proceedings of the First International Workshop on Embedded Software (EMSOFT), pages 166-184, 2001.
5. H. Kopetz. The distributed, fault-tolerant real-time operating system mars. IEEE Operating Systems Newsletter, 6(1), 1992.
6. H. Kopetz and G. Bauer. The Time-Triggered Architecture. Proceedings of the IEEE, 91(1):112-126, Jan. 2003.
7. L. Lamport and P. M. Melliar-Smith. Synchronizing clocks in the presence of faults. J. ACM, 32(1):52-78, 1985.
8. 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.
9. U. Schmid and K. Schossmaier. Interval-based clock synchronization. Real-Time Systems, 12(2): 173-228, 1997.
10. TTTech Computertechnik AG. Time Triggered Protocol TTP/C High-Level Specification Document. 2003.
11. Website DECOS, http://www.decos.at/.