The standard ISO 26262 stipulates a “top-down” approach based on the process “V” model, by conducting a hazard analysis and risk assessment to determine the safety goals, and subsequently derives the safety requirements down to the appropriate element level. The specification of safety goals is targeted towards identified hazardous events, whereas the classification of safety requirements does not always turn out non-ambiguous. While requirement formalization turns out to be advantageous, the translation from natural language to semi-formal requirements, especially in context of ISO 26262, poses a problem. In this publication, a new approach for the formalization of safety requirements is introduced, targeting the demands of safety standard ISO 26262. Its part 8, clause 6 (“Specification and management of safety requirements”) has no dedicated work product to accomplish this challenging task. The five levels of requirements for writing safety requirements are distributed throughout the standard, increasing the probability of misapplication. For these reasons, a dedicated requirement template is proposed. It is applicable for writing new or checking existing requirements, independent of any tool. By reviewing a number of industrial relevant use cases the applicability of the new template is verified and its effectiveness is demonstrated. Furthermore, a semi-formal notation technique is shown to express these formalized requirements, including their associated attributes and resulting relationships. By following the proposed approach, we meet the obligations of ISO 26262 to write e.g. unambiguous, consistent, verifiable, and complete requirements. In the end, this has the potential to dramatically reduce the probability of systematic failures during development of automotive embedded systems.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    From Natural Language to Semi-Formal Notation Requirements for Automotive Safety


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Martin, Helmut (Autor:in) / Krammer, Martin (Autor:in) / Stirgwolt, Philip (Autor:in)

    Kongress:

    SAE 2015 World Congress & Exhibition ; 2015



    Erscheinungsdatum :

    2015-04-14




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    From natural language to semi-formal notation requirements for automotive safety

    Krammer,M. / Stirgwolt,P. / Martin,H. et al. | Kraftfahrwesen | 2015


    From Natural Language to Semi-Formal Notation Requirements for Automotive Safety

    Krammer, Martin / Stirgwolt, Philip / Martin, Helmut | British Library Conference Proceedings | 2015


    Dissolution of the Gap between Safety Requirements Written in a Natural Language and Formal Notations

    Ohno, Atsuhiro / Narisawa, Fumio / Matsubara, Masahiro et al. | SAE Technical Papers | 2016