ISO 26262 - "Road vehicles-Functional Safety" is a standard for the automotive industry, administered in an attempt to prevent potential accidents due to systematic and random failures in the Electrical/Electronic-system. ISO 26262 is based on the principle of relying on safety requirements as the main source of information to enforce correctness of design. We show that the contract theory from the SPEEDS FP6 project provides a suitable foundation to structure safety requirements in ISO 26262. Contracts provide the necessary support to separate the responsibilities between a system and its environment by explicitly imposing requirements on the environment as assumptions, in order to guarantee the safety requirements. We show this by characterizing two levels of safety requirements with contracts for an industrial system where we also show how contract theory supports the verification of consistency and completeness of safety requirements.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Structuring Safety Requirements in ISO 26262 Using Contract Theory


    Beteiligte:
    Westman, Jonas (Autor:in) / Nyberg, Mattias (Autor:in) / Törngren, Martin (Autor:in)


    Erscheinungsdatum :

    2013


    Format / Umfang :

    12 Seiten





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Contract based ISO CD 26262 safety analysis

    Damm,W. / Josko,B. / Peikenkamp,T. et al. | Kraftfahrwesen | 2009


    Contract Based ISO CD 26262 Safety Analysis

    Josko, Bernhard / Peikenkamp, Thomas / Damm, Werner | SAE Technical Papers | 2009


    2009-01-0754 Contract Based ISO CD 26262 Safety Analysis

    Damm, W. / Josko, B. / Peikenkamp, T. et al. | British Library Conference Proceedings | 2009


    Safety and ISO 26262

    Gliwa, Peter | Springer Verlag | 2021


    Functional safety requirements of traction inverter in accordance to ISO 26262

    Bhavana R / Indela Omsekhar / Yaragatti Mohammed Sajid | DOAJ | 2020

    Freier Zugriff