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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Semiformale Entwurfsmethoden bei BMW


    Weitere Titelangaben:

    Semiformal design methods


    Beteiligte:
    Eckrich, M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1997


    Format / Umfang :

    5 Seiten, 5 Bilder, 9 Quellen



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch