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. In the Chap. 7, we introduced syndrome for testing and checking ; here we introduce programming language models for the two other mentioned processes. What we now want to do is to synthesize the introduced concepts into system software tools—programming languages and their compilers. We will discuss possible project solutions related to the overall architecture of software tools and introduce the major components of the architecture.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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. Springer, New York. ISBN 978-3-319-15069-7
Kaegi-Trachsel T, Gutknecht J (2008) Minos—the design and implementation of an embedded real-time operating system with a perspective of fault tolerance. In: International multi-conference on IMCSIT 2008, pp 649–656, 20–22
Schagaev I (1986) Algorithms of computation recovery. Autom Remote Control 7:26–36
Schagaev I (1987) Algorithms for restoring a computing process. Autom Remote Control 48:530–538
Schagaev I (1989) Instructions retry in microprocessor recovery algorithms. In: IMEKO FTSD symposium
Schagaev I (1989) Yet another approach to classification of redundancy. In: Proceedings of FTSD Prague, Czeschoslovakia, pp 485–490
Bläser L (2007) A component language for pointer-free concurrent programming and its application to simulation. Dissertattion, ETH No. 17480
Bläser L (2006) A component language for structured parallel programming. In: Joint modular languages conference (JMLC) 2006, Oxford, UK. Lecture Notes in Computer Science 4228, September 2006. Springer
Schagaev I, Sogomonyan E (1988) Hardware and software for fault-tolerant computing systems. Automation remote control 49: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. Technical report, Johannes Kepler Universitat Linz
Wirth N, Gutknecht J (1992) Project Oberon: the design of an operating system and compiler. Wesley, New York
Johannes M (2002) The active object system—design and multiprocessor implementation. ETH Zurich, Zurich
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Zouev, E. (2020). Programming Languages for Safety-Critical Systems. In: Software Design for Resilient Computer Systems. Springer, Cham. https://doi.org/10.1007/978-3-030-21244-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-030-21244-5_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-21243-8
Online ISBN: 978-3-030-21244-5
eBook Packages: EngineeringEngineering (R0)