Designing 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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    The Universal Safety Format in Action: Tool Integration and Practical Application


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    2023-01-09



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    UNIVERSAL PAYLOAD UNIT FOR CubeSat FORMAT NANOSATELLITES

    FOMIN DMITRIJ VLADIMIROVICH / STRUKOV DMITRIJ OLEGOVICH / GERMAN ANNA SERGEEVNA | Europäisches Patentamt | 2022

    Freier Zugriff

    Practical Probabilistic Design Format for Flexible Pavements

    Kim, Hyung Bae | Transportation Research Record | 2006


    Practical Probabilistic Design Format for Flexible Pavements

    Kim, Hyung | Transportation Research Record | 2006


    ACTION, APPLICATION AND CONSTRUCTION OF UNIVERSAL-JOINTS

    SPICER, C. W. | SAE Technical Papers | 1926


    Universal AIS - The Future Tool for enhancing Safety at Sea

    Bergstrom, A. | British Library Conference Proceedings | 2000