Editorial Cuvillier

Publicaciones, tesis doctorales, capacitaciónes para acceder a una cátedra de universidad & prospectos.
Su editorial internacional especializado en ciencias y economia

Editorial Cuvillier

De En Es
Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen

Impresion
EUR 27,85 EUR 26,46

E-Book
EUR 19,50

Spezifikation und Verifikation von eingebetteten Echtzeitsystemen in Fahrzeugen (Volumen 52) (Tienda española)

Sebastian Siegl (Autor)

Previo

Indice, Datei (58 KB)
Lectura de prueba, 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-10 (Impresion) 3869559667
ISBN-13 (Impresion) 9783869559667
ISBN-13 (E-Book) 9783736939660
Idioma Inglés
Numero de paginas 179
Laminacion de la cubierta mate
Edicion 1 Aufl.
Serie Audi Dissertationsreihe
Volumen 52
Lugar de publicacion Göttingen
Lugar de la disertacion Erlangen
Fecha de publicacion 15.12.2011
Clasificacion simple Tesis doctoral
Area Informática
Ingeniería mecánica y de proceso