Cuvillier Verlag

35 Jahre Kompetenz im wissenschaftlichen Publizieren
Internationaler Fachverlag für Wissenschaft und Wirtschaft

Cuvillier Verlag

De En Es
Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen

Printausgabe
EUR 27,85 EUR 26,46

E-Book
EUR 19,50

Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen (Band 52)

Sebastian Siegl (Autor)

Vorschau

Inhaltsverzeichnis, Datei (58 KB)
Leseprobe, Datei (200 KB)

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.

ISBN-13 (Printausgabe) 3869559667
ISBN-13 (Printausgabe) 9783869559667
ISBN-13 (E-Book) 9783736939660
Sprache Englisch
Seitenanzahl 179
Umschlagkaschierung matt
Auflage 1 Aufl.
Buchreihe Audi Dissertationsreihe
Band 52
Erscheinungsort Göttingen
Promotionsort Erlangen
Erscheinungsdatum 15.12.2011
Allgemeine Einordnung Dissertation
Fachbereiche Informatik
Maschinenbau und Verfahrenstechnik