Die Autoren berichten über semiformale Entwurfsmethoden im Automobilbau. Die Zahl der elektronischen Bauteil steigt, um Sicherheit, Fahr- und Bedienungskomfort zu sichern. Dahinter steckt eine ausgeklügelte Software. Die Modellierung, die Simulation, das Rapid Prototyping und die Verifikation von Systemeigenschaften erfordern neue Techniken und Methoden, die hier unter dem begriff semiformale Entwurfsmethoden zusammengefaßt werden. Der aktuelle Stand dieser Methoden für die Steuergeräte-Software-Entwicklung bei BMW wird aufgezeigt. Zwei Modellierungswerkzeuge diskreter und kontinuierlicher Systeme, Statemate und Matrixx werden vorgestellt und ihre Einsatzmöglichkeiten beschrieben. Zunächst werden die grundlegenden Komponenten erläutert, semiformale graphische Beschreibungstechniken. Dann wird der Entwurfsprozeß für Steuergeräte Software diskutiert, informelle Beschreibung und Übertragung in die Modellierungswerkzeuge, Simulation, ablauffähiges Modell in Rapid Prototyping geteste und Modellumsetzung in steuergerätespezifischen Code. Die einzelnen Schritte werden erläutert und mögliche Probleme aufgezeigt. Dann wird als Anwendungsbeispiel der Tempomat herangezogen, die Funktionsbeschreibung - Lastenheft - und die Umsetzung diskutiert, die diskreten sowie die kontinuierlichen Modellanteile werden dargestellt und an Bildern verdeutlicht. Zum Schluß zeigen sie noch Weiterentwicklungsmöglichkeiten auf, automatische Codegenerierung, Verifikation der in Statecharts spezifizierten Steuerungslogik und das Modellchecking.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Semiformale Entwurfsmethoden bei BMW


    Additional title:

    Semiformal design methods


    Contributors:
    Eckrich, M. (author)


    Publication date :

    1997


    Size :

    5 Seiten, 5 Bilder, 9 Quellen



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German







    Entwurfsmethoden für Echtzeit-Software-Systeme

    Ebert, Christof / Pereira, Carlos E. | IuD Bahn | 1995


    Fortschrittliche Entwurfsmethoden Gefragter denn jel

    British Library Online Contents | 2011