ARRL: A Criterion for Composable Safety and Systems Engineering

Eric Verhulst (1) , de La Vara Jose Luis (2) , Bernhard H.C. Sputh (1) , de Florio Vincenzo (3)

1 Altreonic NV
2 SRL - Simula Research Laboratory [Lysaker]
3 PATS

While safety engineering standards define rigorous and controllable processes for system development, safety standards' differences in distinct domains are non-negligible. This paper focuses in particular on the aviation, automotive, and railway standards, all related to the transportation market. Many are the reasons for the said differences, ranging from historical reasons, heuristic and established practices, and legal frameworks, but also from the psychological perception of the safety risks. In particular we argue that the Safety Integrity Levels are not sufficient to be used as a top level requirement for developing a safety-critical system. We argue that Quality of Service is a more generic criterion that takes the trustworthiness as perceived by users better into account. In addition, safety engineering standards provide very little guidance on how to compose safe systems from components, while this is the established engineering practice. In this paper we develop a novel concept called Assured Reliability and Resilience Level as a criterion that takes the industrial practice into account and show how it complements the Safety Integrity Level concept.

Mots clés: Safety; Embedded systems; safety engineering; system engineering; safety standard; Safety Integrity Level; Assured Reliability and Resilience Level

Domaines: Systèmes embarqués

Eric Verhulst, de La Vara Jose Luis, Bernhard H.C. Sputh, de Florio Vincenzo. ARRL: A Criterion for Composable Safety and Systems Engineering. SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA. ⟨hal-00848521⟩