Zuverlässigkeit ist eine Schlüsseleigenschaft komplexer, verteilter, software-intensiver Systeme. Moderne Fahrzeuge etwa haben bis zu 80 Steuergeräte, die zusammen tausende Softwaredienste bereitstellen. Diese Steuergeräte sind über mehrere physikalische Netzwerke miteinander verbunden. Entsprechend kommunizieren die hochgradig verteilten Softwaredienste vermittels komplexer Interaktionsmuster. Von der Zuverlässigkeit der zugrundeliegenden Software/Hardwaresysteme hängt das Überleben der Verkehrsteilnehmer und, im übertragenen Sinn, das der beteiligten Hersteller und Zulieferer im Markt ab.

In diesem Vortrag stelle ich einen modell-basierten Ansatz zur Entwicklung und Qualitätssicherung zuverlässiger Fahrzeugdienste vor. Dazu führe ich zunächst ein ausdrucksstarkes Interaktionsmodell ein, das als Basis zur präzisen Beschreibung von Interaktionsmustern dient. Dieses Interaktionsmodell fundiert und erweitert bekannte Notationen, wie etwa Message Sequence Charts (MSCs) und Sequenzdiagramme. Weiterhin dient es als Basis für eine domänenspezifische Architekturbeschreibungssprache, mit deren Hilfe Ingenieure Interaktionsmuster um Mechanismen zur Fehlererkennung und -behebung anreichern können. Schließlich zeige ich, wie solche Architekturbeschreibungen in Verifikationsmodelle überführt werden können. Die resultierenden Verifikationsmodelle können dann mit Hilfe von Modellprüfern auf ihre Zuverlässigkeit hin untersucht werden.

Im Ergebnis erhalten Fahrzeug-Entwickler einen methodisch fundierten Ansatz zur Beschreibung und Überprüfung komplexer Dienstarchitekturen und ihrer Zuverlässigkeitseigenschaften.