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.
Semiformale Entwurfsmethoden bei BMW
Semiformal design methods
Informationstechnik und Technische Informatik ; 39 , 3 ; 29-33
1997
5 Seiten, 5 Bilder, 9 Quellen
Article (Journal)
German
formale Spezifikation , formale Sprache , Entwurfssprache , Software-Werkzeug , Programmentwicklung , Kraftfahrzeugelektrik , Modelluntersuchung , Modellsimulation , theoretisches Modell , Software-Engineering , rechnerunterstützte Programmierung , graphische Datenausgabe , graphische Datenverarbeitung , Steuereinrichtung , Sicherheit , Rapid-Prototyping , Verifikation
Semiformale Entwurfsmethoden fuer die Funktionsmodellierung am Beispiel der Fahrzeugklimatisierung
Automotive engineering | 1998
|Straßenentwurf - Neue Entwurfsmethoden für Straßen
Online Contents | 2010
|Entwurfsmethoden für Echtzeit-Software-Systeme
IuD Bahn | 1995
|Fortschrittliche Entwurfsmethoden Gefragter denn jel
British Library Online Contents | 2011