Zusicherungen und Laufzeit-Überwachungen in der modellbasierten Software-Entwicklung
Zusicherungen und Laufzeit-Überwachungen in der modellbasierten Software-Entwicklung
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.
Document information
Zusicherungen und Laufzeit-Überwachungen in der modellbasierten Software-Entwicklung
Assertions and runtime monitoring in der model-based software development
2001
8 Seiten, 4 Bilder, 10 Quellen
Conference paper
German
Similar titles
Verwendung von Zusicherungen in einem modellbasierten Entwicklungsproze
| IuD Bahn | 2002
Verwendung von Zusicherungen in einem modellbasierten Entwicklungsprozess
| Tema Archive | 2002
Vom Funktionsentwurf zum Systemdesign in der modellbasierten Software Entwicklung
| Automotive engineering | 2007
Vom Funktionsentwurf zum Systemdesign in der modellbasierten Software-Entwicklung
| Tema Archive | 2007