Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen

Durch den Einsatz intelligenter eingebetteter Echtzeitsysteme werden zunehmend sichere und effiziente Automobile entwickelt. Internationale Standards wie die ISO 26262 stellen hierbei neue Anforderungen an die Methoden zur Spezifikation, Verifikation und Validierung. In dieser Arbeit wird eine agile, modellzentrierte Methode zur Spezifikation und zum systematischen Test von eingebetteten Systemen vorgestellt. Eine integrale Eigenschaft ist die Berücksichtigung von Echtzeitanforderungen im gesamten Entwicklungsprozess. Das Zeit-Benutzungsmodell ist das durchgängige Artefakt zur Spezifikation und zu den Aktivitäten der Qualitätssicherung. Die Methode wird an einem automobilen Funktionsbeispiel vorgestellt. Zwei durchgeführte Projekte – „Energiemanagement im Hardware-in-the-Loop Test“ und „Testgetriebene Entwicklung von Funktionen der aktiven Sicherheit im Modell-in-the-Loop Test“ – stellen die erzielten Verbesserungen dar.