The zerberus language: Describing the functional model of dependable real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3747 LNCS, Issue , 2005, Pages 101-120

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

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; COST EFFECTIVENESS; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

FUNCTIONAL MODELS; TEMPORAL CONSTRAINTS; ZERBERUS LANGUAGE; ZERBERUS SYSTEMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33646528883     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11572329_10     Document Type: Conference Paper

References (24)

1. Pradhan, D.K.: Fault-Tolerant Computer System Design. Prentice Hall (1996)
2. Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice. Springer-Verlag New York, Inc., Secaucus, NJ, USA (1990)
3. RTCA DO-178B: Software considerations in airborne systems and equipment certification (1992)
4. International Electrotechnical Commission: IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems. (1998)
5. Kopetz, H., Bauer, G.: The Time-Triggered Architecture. Proceedings of the IEEE 91 (2003) 112 - 126
6. TTTech Computertechnik AG: Time Triggered Protocol TTP/C High-Level Specification Document. (2003)
7. Kopetz, H., G.Grnsteidl, J.Reisinger: Fault-tolerant membership service in a synchronous distributed real-time system. In: Dependable Computing for Critical Applications. (1991) 411-429
8. Kopetz, H., Fohler, G., Grünsteidl, G., Kantz, H., Pospischil, G., Puschner, P., Reisinger, J., Schlatterbeck, R., Schütz, W., Vrchoticky, A., Zainlinger, R.: The distributed, fault-tolerant real-time operating system mars. IEEE Operating Systems Newsletter 6 (1992)
9. Website DECOS: (http://www.decos.at/)
10. Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. Proceedings of the First International Workshop on Embedded Software (EMSOFT) (2001) 166 - 184
11. Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Embedded control systems development with giotto. Proceedings of the International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) (2001) 64 - 72
12. Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19 (1992) 87-152
13. Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: Lustre: a declarative language for real-time programming. In: POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, ACM Press (1987) 178-188
14. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Times - A Tool for Modelling and Implementation of Embedded Systems. In: Joint European Conferences on Theory and Practice of Software, ETAPS 2002. Lecture Notes in Computer Science, Springer-Verlag (2002)
15. Krcal, P., Yi, W.: Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. In: Joint European Conferences on Theory and Practice of Software, ETAPS 2004. Lecture Notes in Computer Science, Springer-Verlag (2004)
16. Armstrong, J.: Erlang - a Survey of the Language and its Industrial Applications. In: INAP'96 - The 9th Exhibitions and Symposium on Industrial Applications of Prolog, Hino, Tokyo, Japan (1996) 16-18
17. Armstrong, J.: The development of erlang. In: ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, New York, NY, USA, ACM Press (1997) 196-203
18. Echtle, K.: Fehlertoleranz verfahren. Springer Verlag (1990)
19. Lamport, L., Melliar-Smith, P.M.: Synchronizing clocks in the presence of faults. J. ACM 32 (1985) 52-78
20. Lundelius, J., Lynch, N.A.: A new fault-tolerant algorithm for clock synchronization. In: Symposium on Principles of Distributed Computing. (1984) 75-88
21. Schmid, U., Schossmaier, K.: Interval-based clock synchronization. Real-Time Systems 12 (1997) 173-228
22. Saglietti, F.: Licensing reliable embedded software for safety-critical applications. Real-Time Systems 28 (2004) 217-236
23. Poledna, S., Burns, A., Wellings, A., Barrett, P.: Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Transactions on Computers 49 (2000) 100-110
24. Buckl, C.: Zerberus Language Specification Version 1.0. Technical Report TUM-10501, TU München (2005)