Logo des Repositoriums
 
Konferenzbeitrag

Providing Evidence for Correct and Timely Functioning of Software Safety Mechanisms

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2023

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

In many application domains, the development of safety-critical systems must follow standards that define process steps and artifacts to establish a comprehensive safety argumentation. Commonly, this involves the identification of hazards and risks as well as the formulation of a safety concept to mitigate these risks. The concept is decomposed into safety requirements, which are finally implemented in hardware and software. All steps must be covered by analyses to ensure that the concept is effective and correctly implemented. This work focuses on timing aspects of the safety concept, i.e., on how it can be ensured that risk mitigation occurs in time. Based on an industrial use case, we show how consistent timing specifications can be derived, decomposed, and implemented in a complete and sound way. The approach extends previous work on contract-based design and investigates on explicating failure modes and fault detection in contract specifications. Finally, we show how model checking can support the verification of safety concepts and their implementation.

Beschreibung

Becker, Jan Steffen; Koopmann, Björn; Stierand, Ingo; Westhofen, Lukas (2023): Providing Evidence for Correct and Timely Functioning of Software Safety Mechanisms. Software Engineering 2023 Workshops. DOI: 10.18420/se2023-ws-09. Bonn: Gesellschaft für Informatik e.V.. pp. 66-77. ASE. Paderborn. 20.- 24. Februar

Zitierform

Tags