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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modellbasierte Lösung für die Entwicklung von Automobilsoftware


    Weitere Titelangaben:

    Model based solutions for the development of automotive software


    Beteiligte:
    Bouali, Amar (Autor:in)

    Erschienen in:

    ATZ-Elektronik ; 3 ; 40-44


    Erscheinungsdatum :

    2007


    Format / Umfang :

    5 Seiten, 3 Bilder



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch




    Modellbasierte Entwicklung von Fahrerassistenzsystemen

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


    Modellbasierte Entwicklung verteilter Systeme

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



    Modellbasierte Entwicklung elektromechanischer Lenkungen

    Wimmer, Christian | Tema Archiv | 2013


    Modellbasierte Entwicklung von Fahrerassistenzsystemen

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