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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modellbasierte Lösung für die Entwicklung von Automobilsoftware


    Additional title:

    Model based solutions for the development of automotive software


    Contributors:

    Published in:

    ATZ-Elektronik ; 3 ; 40-44


    Publication date :

    2007


    Size :

    5 Seiten, 3 Bilder



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German




    Modellbasierte Entwicklung von Fahrerassistenzsystemen

    Ehmann, M. / Butz, T. | Tema Archive | 2007


    Modellbasierte Entwicklung verteilter Systeme

    Commerell, Walter / Moser, Rainer | Tema Archive | 2005



    Modellbasierte Entwicklung elektromechanischer Lenkungen

    Wimmer, Christian | Tema Archive | 2013


    Modellbasierte Entwicklung von Fahrerassistenzsystemen

    Ehmann, M. / Butz, T. / VDI-Gesellschaft Fahrzeug- und Verkehrstechnik | British Library Conference Proceedings | 2007