Safety concepts are essential to conform to functional safety standard ISO 26262 for automotive products. Safety requirements, which are a part of safety concepts, shall be satisfied by products to avoid hazards by vehicles to maintain their safety. Incompleteness of safety requirements must be avoided in deriving parent requirements to its children. However, measure for checking is only reviewing when the safety requirements are described in a natural language. This measure for checking is not objective or stringent.We developed a specification technique written in formal notation that addresses some of the shortcomings of capturing safety requirements for verification purposes. Safety requirements in this notation are expressed in goal tree models, which originate from goal-oriented requirement engineering Knowledge Acquisition in autOmated Specification (KAOS). Each requirement is written with propositional logic as the node of a tree. Completeness is automatically verified with a Boolean satisfiability (SAT) solver for each set of a parent goal and its children.We found that the point of view to derive requirements was different between a natural language and the above formal specification. This leads to the difference in the hierarchical structure of requirements, and makes it difficult to convert them from one to the other. A method of supporting this conversion is proposed here as a solution by associating typical structures of requirements in a natural language and the formal specification. This solution is expected to strengthen the reliability of safety requirements by promoting the application of the formal specification technique.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:
    Ohno, Atsuhiro (Autor:in) / Narisawa, Fumio (Autor:in) / Matsubara, Masahiro (Autor:in) / Aoki, Toshiaki (Autor:in) / Chiba, Yuki (Autor:in)

    Kongress:

    SAE 2016 World Congress and Exhibition ; 2016



    Erscheinungsdatum :

    05.04.2016




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





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

    Matsubara, Masahiro / Narisawa, Fumio / Ohno, Atsuhiro et al. | British Library Conference Proceedings | 2016


    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


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

    Martin, Helmut / Krammer, Martin / Stirgwolt, Philip | SAE Technical Papers | 2015