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.

Full Text

Published Version

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.