Die Entwicklung von eingebetteten Systemen in der Automobilindustrie befindet sich im Umbruch. Neue Werkzeuge für die modellbasierte Entwicklung versprechen einen durchgängigen und reibungslosen Entwicklungsprozess durch schrittweise Verfeinerung eines graphischen Modells von der ersten Idee bis zum Serienprodukt. Der Einsatz von Zusicherungen und Laufzeit-Überwachungen in der Simulationsumgebung, d.h. auf Modell-Ebene, erlaubt eine weitere Verbesserung dieser Vorgehensweise durch bessere Absicherung der Funktion bei gleichzeitiger Erhöhung der Modelltiefe. Die Einbindung dieser zusätzlichen Prüfungen in die Code-Generierung erlaubt deren Wiederverwendung auf Code-Ebene. Dadurch ergibt sich eine höhere Testtiefe für das Endprodukt sowie eine Grobverifikation des Code-Generators. Der folgende Beitrag beschreibt das Konzept derartiger Prüfungen sowie Erfahrungen bei deren Implementierung und Einsatz mit SIMULINK.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Zusicherungen und Laufzeit-Überwachungen in der modellbasierten Software-Entwicklung


    Weitere Titelangaben:

    Assertions and runtime monitoring in der model-based software development


    Beteiligte:
    Rau, A. (Autor:in)


    Erscheinungsdatum :

    2001


    Format / Umfang :

    8 Seiten, 4 Bilder, 10 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch