One domain for which automotive companies are expressing interest in formal analysis is microcontroller code containing hard-to-find defects in the low-level execution. The authors developed a model checker called [mc]square for the verification of such microcontroller specific code. The paper presents the extendable architecture of [mc]square which is required to adapt this approach to further microcontrollers and different model checking algorithms. The tool features and the architecture are explained and with the help of a realistic example it is illustrated how the tool can be used to analyse a program.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    An extendable architecture for model checking hardware-specific automotive microcontroller code


    Weitere Titelangaben:

    Eine erweiterbare Architektur für die Modellprüfung hardware-spezifischer Automobile-Mikrocontroller-Programme


    Beteiligte:
    Schlich, B. (Autor:in) / Kowalewski, S. (Autor:in)


    Erscheinungsdatum :

    2007


    Format / Umfang :

    11 Seiten, 3 Bilder, 15 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Applying model checking to an automotive microcontroller application

    Schlich, B. / Salewski, F. / Kowalewski, S. | Tema Archiv | 2007


    High performance code generation for Audo, an automotive microcontroller from Infineon Technologies

    Amato,G. / Koester,L. / Infineon Technologies,DE et al. | Kraftfahrwesen | 2000


    Microcontroller fuer sicherheitskritische Automotive-Systeme

    Freescale,DE / STMicroelectronics,DE | Kraftfahrwesen | 2010


    MODULAR MICROCONTROLLER ARCHITECTURE

    BAYER JOSHUA / KLINE KEVIN DEAN | Europäisches Patentamt | 2025

    Freier Zugriff

    Integration of hardware specific features of microcontroller into the AUTOSAR standard

    Wang,G. / Infineon Technologies,DE | Kraftfahrwesen | 2009