Das Paper beschreibt Anforderungen der MISRA TargetLink Richtlinien an die Modellierung von TargetLink Modellen und die dafür benötigten automatisierten Prüfmethoden mit Werkzeugunterstützung. Im Kapitel 2 soll gezeigt werden, welche Bedeutung Modellierungsrichtlinien für Softwareentwicklung im Automobilbereich haben. Dabei werden allgemeine, firmenspezifische und werkzeugspezifische Richtlinien betrachtet und anhand von Beispielen erläutert. Im Schwerpunkt wird ein Überblick über die MISRA TargetLink Richtlinien für die Seriencodegenerierung sicherheits-relevanter Software im Automobilbereich gegeben. Aus den Richtlinien ergeben sich Anforderungen an ein Prüfwerkzeug, das zur automatischen Erkennung und Korrektur von Richtlinienverletzungen eingesetzt wird. Kapitel 3 beschreibt die Werkzeugumgebung, die durch den Model Examiner bereitgestellt wird und welche Anwendungsszenarien sich für die Praxis im Rahmen der modell-basierten Entwicklung ergeben. Kapitel 4 fasst den Artikel zusammen und gibt einen Ausblick auf weitere Analyse- und Reparaturmöglichkeiten von Modellen, die im Kontext der Seriencodegenerierung von automotiver Software relevant sind.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Automatisierte Prüfung der MISRA TargetLink Richtlinien für die Modell-basierte Entwicklung eingebetteter Software im Automobil


    Additional title:

    Automated examination of the MISRA TargetLlink directive for model based development of embedded automotive software


    Contributors:


    Publication date :

    2008


    Size :

    14 Seiten, 8 Bilder, 13 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German




    Automated checking of MISRA TargetLink and AUTOSAR guidelines

    Stuermer,I. / Stamatov,S. / Eisemann,U. et al. | Automotive engineering | 2009


    Automated Checking of MISRA TargetLink and AUTOSAR Guidelines

    Stürmer, Ingo / Stamatov, Stamat / Eisemann, Ulrich | SAE Technical Papers | 2009



    2009-01-0267 Automated Checking of MISRA TargetLink and AUTOSAR Guidelines

    Sturmer, I. / Stamatov, S. / Eissemann, U. et al. | British Library Conference Proceedings | 2009


    2008-01-0663 Experience using MISRA Targetlink Guidelines on a Production Hybrid Program

    Davies, S. / Society of Automotive Engineers | British Library Conference Proceedings | 2008