Die Nutzung gewonnener Erkenntnisse während verschiedener Entwicklungsphasen auch in anderen Stadien kann den Kosten- und Zeitdruck bei Software-Produkten erheblich mildern, wie am Beispiel eines intelligenten Rücklicht-Moduls für Kfz dargestellt wird. Die Softwaresynthese für OSEK (Offene Systeme und deren Schnittstellen für die Elektronik im Kraftfahrzeug) erfolgt mit Rhapsody in MicroC, einem Produkt von I-Logix/Berner & Mattner. Diese visuelle Programmierumgebung für Kfz-Steuergeräte verfügt über eine Softwaresynthese, die das grafische Modellieren mit Designeinstellungen verbindet und daraus einen gut lesbaren Produktionscode erzeugt. So können verschiedene Alternativen untersucht werden. Der automatisch erzeigte C-Code ist selbst für 8-bit-Mikrocontroller in Kfz-Steuergeräten geeignet. Die formale Spezifikation erfolgt mit dem ebenfalls von I-Logix stammenden Statemate Magnum. Dabei wird in der modellbasierten Entwicklung der Problemstellung am Anfang die größte Aufmerksamkeit gewidmet und der größte Aufwand getrieben, Design und Implementierung gestalten sich dadurch mit einem deutlich höheren Reifegrad und geringerem Aufwand. Die gewünschte Verhaltensbeschreibung beispielsweise mit Statechart-Diagrammen ermöglicht die Simulation der Funktion bereits vor Implementierungsbeginn. Des weiteren läßt sich aus den Daten mittels Rapid Prototyping ein echtzeitfähiger Prototyp generieren. Bisherige Erfahrungen mit modellbasierten Methoden zeigten Zeiteinsparungen von 30 % und mehr durch die verkürzte Codierungsphase und die schnellere Integrations- und Testphase.
Nahtlos von der Spezifikation zum Code. Modellbasierte Entwicklung von Kfz-Steuergeräten
Elektronik, Poing ; 49 , Sonderheft Elektronik Automotive ; 83-87
2000
5 Seiten, 4 Bilder, 1 Tabelle
Aufsatz (Zeitschrift)
Deutsch
Modellbasierte Spezifikation fuer Cockpit Komponenten
Kraftfahrwesen | 2005
|IuD Bahn | 2007
|Kraftfahrwesen | 2003
Cockpit System Development Bench (CSDB) Modellbasierte Spezifikation fur Cockpit-Komponenten
British Library Conference Proceedings | 2005
|