Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Modellierung 2006, 22.-24. März 2006, Innsbruck, Tirol, Austria P-82, 35-50 (2006).


2006


Editors

Heinrich C. Mayr (ed.), Ruth Breu (ed.)


Contents

Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs

Richard Bogenberger and David Trachtenherz

Abstract


Softwarebasierte Funktionalitäten gewinnen zunehmend an Bedeutung für moderne Automobile - ein Großteil der Innovationen wird von Elektronik und Software getrieben. Zahlreiche Sicherheitsund Komfortfunktionen werden durch Software ermöglicht. Automobile eingebettete Systeme bilden ein hochkomplexes heterogenes Netzwerk, bestehend aus bis zu 70 Steuergeräten. Die Beherrschung der Komplexität dieser Netzwerke stellt zurzeit eine der größten Herausforderungen für Softwareingenieure im Automobilbereich dar. Während testbasierte Methoden zur Qualitätssicherung für solche vernetzten Systeme an ihre Grenzen stoßen, eröffnen formale Me- thoden durch Behandlung von Systemspezifikationen auf höherer Abstraktionsebene eine Perspektive der Qualitätssicherung in frühen Entwicklungsphasen, in denen die Netzwerkarchitektur entworfen wird.


Full Text: PDF

ISBN 3-88579-175-7


Last changed 04.10.2013 18:10:07