Abstract
In previous chapters we introduced the three main processes required to implement generalized algorithm of fault tolerance (GAFT), namely—testing and checking, second recovery preparation, and third and finally recovery and recovery monitoring. We described what every of these steps incorporates, gave possible solutions, and analyzed them.What we now want to do is to synthesize the introduced concepts into programming language extensions and their runtime system support. We use the in Chap. 7 introduced syndrome for testing and checking; here we but introduce programming language extensions for the two other mentioned processes. Oberon-07 (Wirth, Oberon-07 language report 2008 [1]) is the basis for the programming language extensions, and embedded reliable reduced instruction computer ERRIC (Schagaev, International multi-conference on computer science and information technology, 2008 [2]), (Castano, Schagaev, Resilient computer system design, 2015 [3]) serves as the target hardware platform. The strong type safety of Oberon together with the simplicity of the language suite for safety critical systems.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Wirth N (2008) Oberon-07 language report. Technical report, ETH Zurich
Schagaev I (2008) Reliability of malfunction tolerance. In: International multi-conference on computer science and information technology, IMCSIT 2008, pp 733 –737
Castano V, Schagaev I (2015) Resilient computer system design, ISBN 978-3-319-15069-7, Springer, New York
Schagaev et al http://www.transport-research.info/Upload/Documents/201210/20121025_145753_96261_127704771EN6.pdf
Kaegi-Trachsel T, Gutknecht J (2008) Minos—the design and implementation of an embedded real-time operating system with a perspective of fault tolerance. International Multi-conference on IMCSIT 2008, pp 649–656, 20–22
Schagaev I (1986) Algorithms of computation recovery. Autom Remote Control, 7
Schagaev I (1987) Algorithms for restoring a computing process. Autom Remote Control, 48(4)
Schagaev I (1989) Instructions retry in microprocessor recovery algorithms. In IMEKO—FTSD Symposium
Schagaev I (1990) Yet another approach to classification of redundancy. In IBID, 1990
Schagaev I, Sogomonyan E (1988) Hardware and software for fault-tolerant computing systems. In Automation Remote Control, vol 49, pp 129–151
Blaeser L, Minkman S, Schagaev I Evolving systems 12 http://worldcomp-proceedings.com/proc/proc2014/fcs/FCS_Papers.pdf
Reali P (2004) Active Oberon language report. Technical report, ETH Zurich
Mossenbock Wirth N (1991) The programming language oberon-2. Johannes Kepler Universitat Linz, Technical report
Wirth N (1992) Gutknecht J. Project Oberon: the design of an operating system and compiler. Wesley
Johannes M (2002) The Active object system—design and multiprocessor implementation. ETH Zurich, Zurich
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Schagaev, I., Kaegi-Trachsel, T. (2016). Programming Language for Safety Critical Systems. In: Software Design for Resilient Computer Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-29465-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-29465-0_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-29463-6
Online ISBN: 978-3-319-29465-0
eBook Packages: EngineeringEngineering (R0)