The Universal Safety Format in Action: Tool Integration and Practical Application
-
Published:2023-01-09
Issue:2
Volume:4
Page:
-
ISSN:2661-8907
-
Container-title:SN Computer Science
-
language:en
-
Short-container-title:SN COMPUT. SCI.
Author:
Haxel Frederik,Viehl Alexander,Benkel Michael,Beyreuther Bjoern,Birken Klaus,Schmedes Rolf,Grüttner Kim,Mueller-Gritschneder Daniel
Abstract
AbstractDesigning software that meets the stringent requirements of functional safety standards imposes a significant development effort compared to conventional software. A key aspect is the integration of safety mechanisms into the functional design to ensure a safe state during operation even in the event of hardware errors. These safety mechanisms can be applied at different levels of abstraction during the development process and are usually implemented and integrated manually into the design. This does not only cause significant effort but does also reduce the overall maintainability of the software. To mitigate this, we present the Universal Safety Format (USF), which enables the generation of safety mechanisms based on the separation of concerns principle in a model-driven approach. Safety mechanisms are described as generic patterns using a transformation language independent from the functional design or any particular programming language. The USF was designed to be easily integrated into existing tools and workflows that can support different programming languages. Tools supporting the USF can utilize the patterns in a functional design to generate and integrate specific safety mechanisms for different languages using the transformation rules contained within the patterns. This enables not only the reuse of safety patterns in different designs, but also across different programming languages. The approach is demonstrated with an automotive use-case as well as different tools supporting the USF.
Funder
Bundesministerium für Bildung und Forschung
FZI Forschungszentrum Informatik
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Computer Networks and Communications,Computer Graphics and Computer-Aided Design,Computational Theory and Mathematics,Artificial Intelligence,General Computer Science
Reference31 articles.
1. IEC 61508. Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems (E/E/PE, or E/E/PES. Geneva, CH: The International Electrotechnical Commission, 2010.
2. ISO 26262. Road vehicles – Functional safety. Geneva, CH: International Organization for Standardization; 2018.
3. Ding K, Morozov A, Janschek K. MORE: MOdel-based REdundancy for Simulink. In: Gallina B, Skavhaug A, Bitsch F, editors. Computer safety, reliability, and security. Cham: Springer; 2018. p. 250–64.
4. Hu T, Cibrario Bertolotti I, Navet N, Havet L. Automated fault tolerance augmentation in model-driven engineering for CPS. Comput Standards Interface. 2020;70: 103424. https://doi.org/10.1016/j.csi.2020.103424.
5. Trindade RFB, Bulwahn L, Ainhauser C. Automatically generated safety mechanisms from semi-formal software safety requirements. In: Bondavalli A, Di Giandomenico F, editors. Computer safety, reliability, and security. Cham: Springer; 2014. p. 278–93.