elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Providing Evidence for Correct and Timely Functioning of Software Safety Mechanisms

Becker, Jan Steffen and Koopmann, Björn and Stierand, Ingo and Westhofen, Lukas (2023) Providing Evidence for Correct and Timely Functioning of Software Safety Mechanisms. In: Software Engineering 2023 Workshops, pp. 66-77. Gesellschaft für Informatik. 20. Workshop Automotive Software Engineering, 2023-02-20, Paderborn, Deutschland. doi: 10.18420/se2023-ws-09.

[img] PDF
837kB

Abstract

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.

Item URL in elib:https://elib.dlr.de/193972/
Document Type:Conference or Workshop Item (Speech)
Title:Providing Evidence for Correct and Timely Functioning of Software Safety Mechanisms
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Becker, Jan SteffenUNSPECIFIEDUNSPECIFIEDUNSPECIFIED
Koopmann, BjörnUNSPECIFIEDhttps://orcid.org/0000-0003-1982-8396UNSPECIFIED
Stierand, IngoUNSPECIFIEDhttps://orcid.org/0009-0000-7936-6969137218328
Westhofen, LukasUNSPECIFIEDhttps://orcid.org/0000-0003-1065-4182UNSPECIFIED
Date:February 2023
Journal or Publication Title:Software Engineering 2023 Workshops
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
DOI:10.18420/se2023-ws-09
Page Range:pp. 66-77
Editors:
EditorsEmailEditor's ORCID iDORCID Put Code
Groher, IrisJohannes Kepler Universität, Linzhttps://orcid.org/0000-0003-0905-6791UNSPECIFIED
Vogel, ThomasComputer Science Department, Humboldt-Universität zu Berlinhttps://orcid.org/0000-0002-7127-352XUNSPECIFIED
Publisher:Gesellschaft für Informatik
Status:Published
Keywords:Safety Assurance, Timing Anaysis, Contract-Based Design, Model Checking, Safety Mechanisms, ISO 26262, Traceability
Event Title:20. Workshop Automotive Software Engineering
Event Location:Paderborn, Deutschland
Event Type:Workshop
Event Date:20 February 2023
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Road Transport
DLR - Research area:Transport
DLR - Program:V ST Straßenverkehr
DLR - Research theme (Project):V - V&V4NGC - Methoden, Prozesse und Werkzeugketten für die Validierung & Verifikation von NGC, V - KoKoVI - Koordinierter kooperativer Verkehr mit verteilter, lernender Intelligenz, V - INTRA - Infrastruktur und Transformation
Location: Oldenburg
Institutes and Institutions:Institute of Systems Engineering for Future Mobility
Institute of Systems Engineering for Future Mobility > Systems Theory and Design
Deposited By: Koopmann, Björn Philipp
Deposited On:21 Feb 2023 09:28
Last Modified:24 Apr 2024 20:54

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.