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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

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


    Beteiligte:
    Stürmer, Ingo (Autor:in) / Pohlheim, Hartmut (Autor:in) / Beine, Michael (Autor:in) / Eisemann, Ulrich (Autor:in)


    Erscheinungsdatum :

    2008


    Format / Umfang :

    14 Seiten, 8 Bilder, 13 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch




    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