Programming Language for Safety Critical Systems

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.