- DOI: 10.4230/LITES-v003-i001-a001
- URN:
In order to render software viable for highly safety-critical applications, we describe how to incorporate fault tolerance mechanisms into the real-time programming language PEARL. Therefore, we present, classify, evaluate and illustrate known fault tolerance methods for software. We link them together with the requirements of the international standard IEC 61508-3 for functional safety. We contribute PEARL-2020 programming language constructs for fault tolerance methods that need to be implemented by operating systems, and code-snippets as well as libraries for those independent from runtime systems.
@Article{houben_et_al:LITES-v003-i001-a001, author = {Houben, Christina and Houben, Sebastian}, title = {{Programming Language Constructs Supporting Fault Tolerance}}, journal = {Leibniz Transactions on Embedded Systems}, pages = {01:1--01:20}, ISSN = {2199-2002}, year = {2016}, volume = {3}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a001}, doi = {10.4230/LITES-v003-i001-a001}, annote = {Keywords: Fault tolerance, Functional safety, PEARL, Embedded systems, Software engineering} }
Feedback for Dagstuhl Publishing