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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal Safety Verification of Automotive Microcontroller Parts


    Contributors:


    Publication date :

    2012


    Size :

    9 Seiten, 5 Bilder, 1 Tabelle, 8 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Microcontroller fuer sicherheitskritische Automotive-Systeme

    Freescale,DE / STMicroelectronics,DE | Automotive engineering | 2010


    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


    Cost effective LIN bus automotive networking microcontroller

    Bender,M. / Melexis,DE | Automotive engineering | 2004


    Formal Verification Method for Safety Diagnosis Software

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