Automotive microcontrollers have to meet the ISO 26262 functional safety standard for road vehicles in order to be certifiable for applications in safety-critical systems according to defined automotive safety integrity levels. An automotive microcontroller system therefore includes various safety mechanisms implemented in hardware and software which provide robustness against defects during a driving cycle and monitor failure modes of functional parts. These extra measures increase the design complexity significantly and entail additional verification effort for proving that the safety requirements are met. The quantity and variety of potential faults to be considered poses a huge verification problem hardly solvable by simulation alone. This paper presents a formal verification methodology for 100% fault coverage of register safeguarding measures at register-transfer level in vital parts of automotive microcontroller chip products.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Formal Safety Verification of Automotive Microcontroller Parts


    Beteiligte:
    Busch, Holger (Autor:in)


    Erscheinungsdatum :

    2012


    Format / Umfang :

    9 Seiten, 5 Bilder, 1 Tabelle, 8 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Microcontroller fuer sicherheitskritische Automotive-Systeme

    Freescale,DE / STMicroelectronics,DE | Kraftfahrwesen | 2010


    Cost effective LIN bus automotive networking microcontroller

    Bender,M. / Melexis,DE | Kraftfahrwesen | 2004


    Cost Effective LIN Bus Automotive Networkinq Microcontroller

    Bender, M. / Society of Automotive Engineers | British Library Conference Proceedings | 2004


    Cost Effective LIN Bus Automotive Networking Microcontroller

    Bender, Michael | SAE Technical Papers | 2004


    Formal Verification Method for Safety Diagnosis Software

    Narisawa, Fumio / Matsubara, Masahiro / Nishi, Masataka et al. | SAE Technical Papers | 2015