2026-10-05T03:33:19Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:19256 2025-10-09T10:31:12Z ddc:004 open_access

Programming Language Constructs Supporting Fault Tolerance Houben, Christina Houben, Sebastian Fault tolerance Functional safety PEARL Embedded systems Software engineering 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Christina Houben and Sebastian Houben 2016 Is Part Of LITES, Volume 3, Issue 1 (2016). Leibniz Transactions on Embedded Systems, Volume 3, Issue 1 Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LITES-v003-i001-a001 urn:nbn:de:0030-drops-192560 https://drops.dagstuhl.de/entities/document/10.4230/LITES-v003-i001-a001 eng https://creativecommons.org/licenses/by/3.0/de/legalcode