Nicht lieferbar
Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen - Siegl, Sebastian
Schade – dieser Artikel ist leider ausverkauft. Sobald wir wissen, ob und wann der Artikel wieder verfügbar ist, informieren wir Sie an dieser Stelle.
  • Broschiertes Buch

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…mehr

Produktbeschreibung
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.