Die Software eines Steuergerätes wird für gewöhnlich in Form eines umfangreichen Zustandsautomaten spezifiziert, welcher auf eine große Anzahl logischer Ereignisse und Datenbedingungen reagieren muss. Diese Art der Spezifikation ist jedoch aufgrund ihrer Komplexität sehr fehleranfällig, und besonders Fehler in Grenzbereichen sind schwer aufzuspüren und nachzuweisen. Gleichzeitig wird ein fehlerhaftes Verhalten weder vom Endanwender, noch vom Fahrzeughersteller akzeptiert. Die Herausforderung für die Softwareentwicklung und -Verifikation von kontrollintensiven Applikationen liegt also darin, einen Entwicklungsprozess zu definieren, der möglichst viele Entwicklungsfehler verhindert, die Kosten für die Softwareerstellung reduziert und von den Entwicklern akzeptiert und befolgt wird. Die hier vorgestellten Scade-Softwareaktivitäten gehören zur Scade Certified Software Factory (CSF), einer virtuellen Fabrik, die zertifizierbare Software liefert. Die Scade CSF ermöglicht einen strengen Entwicklungsprozess, basierend auf den Softwareanforderungen unter Verwendung von Zwischenprodukten wie Anforderungsspezifikationen, SysML/UML2-Architekturbeschreibungen, Simulink und StateFlow-Systemprototypen. Das Modellieren in Scade erzwingt ein qualitativ hochwertiges und eindeutiges Softwaremodell, das dank des Scade Unified Modelling Style, Datenfluss sowie hierarchische Zustandsmaschinen mischen kann. Die beiden Formalismen vertrauen auf dieselben grundlegenden Prinzipien, wie strenge Typisierung und Determinismus. Diese beiden Prinzipien ermöglichen fehlerlosere Softwaremodelle, die einfach zu warten, zu verifizieren und wiederzuverwenden sind. Es ist kein besonderer Aufwand seitens des Entwicklers zum eigentlichen Designaufwand notwendig, um die Entwicklung zu meistern.
Modellbasierte Lösung für die Entwicklung von Automobilsoftware
Model based solutions for the development of automotive software
ATZ-Elektronik ; 3 ; 40-44
2007
5 Seiten, 3 Bilder
Aufsatz (Zeitschrift)
Deutsch
Modellbasierte Entwicklung von Fahrerassistenzsystemen
Tema Archiv | 2007
|Modellbasierte Entwicklung verteilter Systeme
Tema Archiv | 2005
|Modellbasierte Entwicklung elektromechanischer Lenkungen
TIBKAT | 2013
|Modellbasierte Entwicklung elektromechanischer Lenkungen
Tema Archiv | 2013
|Modellbasierte Entwicklung von Fahrerassistenzsystemen
British Library Conference Proceedings | 2007
|