Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen

,

• Publisher: Cuvillier Verlag
• Year: 2011
• eBook ISBN:
  9783736939660
• Print ISBN:
  9783869559667
• Edition: 1

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.

Table of contents

• Abstract
• Kurzfassung
• Contents
• Chapter 1Introduction
• Chapter 2Testing of Embedded Systems
• Chapter 3Time Usage Model
• Chapter 4Requirements and Specification
• Chapter 5Test Management Indicators
• Chapter 6Strategies for Test Case Generation
• Chapter 7Reference Models
• Chapter 8Application
• Chapter 9Conclusions
• Chapter 10Outlook
• AppendixAAcronyms and Abbreviations
• List of Figures
• List of Tables
• Bibliography