Abstract
A growing number of safety-critical systems is controlled by computer systems. Currently these systems are often built from scratch. The Zerberus System assists the developer in the design and implementation process. Main features of the Zerberus System are generality, dependability, real-time predictability, the ability to be certified and cost-efficiency.
The main concept of the Zerberus System is the platform independent specification of the functional model by the developer. The functional model specifies the functional elements (tasks), the relation between these elements, the interaction of the system with the environment and the temporal constraints. On the base of the functional model the Zerberus System automatically generates the fault-tolerance mechanisms. Thus the task of the developer is restricted to the implementation of the application-dependent code.
In this paper we present one major part of the Zerberus System: the Zerberus Language that is used to specify the functional model of the control applications.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Pradhan, D.K.: Fault-Tolerant Computer System Design. Prentice Hall, Englewood Cliffs (1996)
Lee, P.A., Anderson, T.: Fault Tolerance: Principles and Practice. Springer, Heidelberg (1990)
RTCA DO-178B: Software considerations in airborne systems and equipment certification (1992)
International Electrotechnical Commission: IEC 61508: Functional safety of electrical/electronic/programmable electronic safety-related systems (1998)
Kopetz, H., Bauer, G.: The Time-Triggered Architecture. Proceedings of the IEEE 91, 112–126 (2003)
TTTech Computertechnik AG: Time Triggered Protocol TTP/C High-Level Specification Document (2003)
Kopetz, H., Grünsteidl, G., Reisinger, J.: Fault-tolerant membership service in a synchronous distributed real-time system. In: Dependable Computing for Critical Applications, pp. 411–429 (1991)
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 (1992)
Website DECOS, http://www.decos.at/
Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: A time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 166–184. Springer, Heidelberg (2001)
Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Embedded control systems development with giotto. In: Proceedings of the International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), pp. 64–72 (2001)
Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19, 87–152 (1992)
Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: Lustre: a declarative language for real-time programming. In: POPL 1987: Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 178–188. ACM Press, New York (1987)
Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Times - A Tool for Modelling and Implementation of Embedded Systems. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol. 2280, p. 460. Springer, Heidelberg (2002)
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. LNCS, Springer, Heidelberg (2004)
Armstrong, J.: Erlang — a Survey of the Language and its Industrial Applications. In: INAP 1996 — The 9th Exhibitions and Symposium on Industrial Applications of Prolog, Hino, Tokyo, Japan, pp. 16–18 (1996)
Armstrong, J.: The development of erlang. In: ICFP 1997: Proceedings of the second ACM SIGPLAN international conference on Functional programming, pp. 196–203. ACM Press, New York (1997)
Echtle, K.: Fehlertoleranzverfahren. Springer, Heidelberg (1990)
Lamport, L., Melliar-Smith, P.M.: Synchronizing clocks in the presence of faults. J. ACM 32, 52–78 (1985)
Lundelius, J., Lynch, N.A.: A new fault-tolerant algorithm for clock synchronization. In: Symposium on Principles of Distributed Computing, pp. 75–88 (1984)
Schmid, U., Schossmaier, K.: Interval-based clock synchronization. Real-Time Systems 12, 173–228 (1997)
Saglietti, F.: Licensing reliable embedded software for safety-critical applications. Real-Time Systems 28, 217–236 (2004)
Poledna, S., Burns, A., Wellings, A., Barrett, P.: Replica determinism and flexible scheduling in hard real-time dependable systems. IEEE Transactions on Computers 49, 100–110 (2000)
Buckl, C.: Zerberus Language Specification Version 1.0. Technical Report TUM-I0501, TU München (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Buckl, C., Knoll, A., Schrott, G. (2005). The Zerberus Language: Describing the Functional Model of Dependable Real-Time Systems. In: Maziero, C.A., Gabriel Silva, J., Andrade, A.M.S., de Assis Silva, F.M. (eds) Dependable Computing. LADC 2005. Lecture Notes in Computer Science, vol 3747. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11572329_10
Download citation
DOI: https://doi.org/10.1007/11572329_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29572-3
Online ISBN: 978-3-540-32092-0
eBook Packages: Computer ScienceComputer Science (R0)