Der steigende Einsatz von Elektronik im Kraftfahrzeug führt zu einem stetig steigenden Anteil der Softwareproduktionskosten an den Gesamtkosten einer Fahrzeugentwicklung. Die Aufwendungen für den Softwareentwicklungsprozess, zum Beispiel für die Erstellung, Anpassung, Test und Wartung von Software, bilden dabei nur einen Teil der Kosten. Nicht zu überblickende Mehrkosten entstehen, wenn Software ein Fehlverhalten einer Komponente verursacht, das bis zum Ausfall eines Fahrzeuges führen kann. Der Einsatz formaler Methoden in der Softwareentwicklung kann einen wesentlichen Beitrag zur Reduktion solcher Kosten leisten. Eine Vielzahl von formalen Methoden zur Spezifikation und Analyse von Software stehen zur Verfügung. Jeder dieser Ansätze besitzt Vor- und Nachteile, die seinen Einsatzbereich bestimmen. Ein einziger Lösungsansatz für alle formalen Probleme der Softwareentwicklung existiert genauso wenig wie die Losung aller Probleme der Softwareentwicklung mit formalen Methoden allgemein. Einige Bestandteile aus der Menge der formalen Methoden sind im Beitrag aufgeführt. Diese Liste erhebt allerdings keinen Anspruch auf Vollständigkeit. Anhand von Fallstudien wird die Wirksamkeit formaler Methoden bei der Entwicklung von typischen fahrzeugspezifischen Elektroniksystemen gezeigt.
Formale ergänzen traditionelle Methoden in der Softwareentwicklung
Formal specifications in addition to traditional methods in the field of the software development
ATZ-Elektronik ; 3 , 4 ; 24-27
2008
4 Seiten, 2 Bilder, 18 Quellen
Article (Journal)
German
Formale ergaenzen traditionelle Methoden in der Softwareentwicklung
Automotive engineering | 2008
|Methoden und Werkzeuge zur Embedded-Softwareentwicklung
British Library Conference Proceedings | 2004
|Methoden und Werkzeuge zur Embedded Softwareentwicklung
Automotive engineering | 2004
|Ergänzen kompakter fahrzeuginterner Informationsanzeigen
European Patent Office | 2016
|