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
Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie

Impresion
EUR 36,00 EUR 34,20

E-Book
EUR 0,00

Download
PDF (2,7 MB)
Open Access CC BY 4.0

Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie (Volumen 13) (Tienda española)

Markus Pister (Autor)

Previo

Indice, Datei (37 KB)
Lectura de prueba, Datei (150 KB)

Hohe Anforderungen an die Funktionssicherheit eines Automobils fordern von der
Entwicklung ein Vorgehen, bei dem die Einhaltung der Funktionssicherheit überprüft
werden kann. In der Praxis werden zur Verifikation der Funktionssicherheit
die Fehler-Möglichkeits- und Einfluss-Analyse (FMEA) und die Fehlerbaumanalyse
(FTA) eingesetzt. Der steigende Anteil präziser formaler Modelle in der Entwicklung
ermöglicht den steigenden Ansprüchen aus Normen und der Automobilindustrie
hinsichtlich der Funktionssicherheit gerecht zu werden. Bei geeigneten formalen Modellen
kann weiter die Verifikation teilweise automatisiert und so die Qualität der
Entwicklung auf einen konstant hohen Stand gebracht werden.
Der Schwerpunkt der Arbeit ist der Entwurf formaler Modelle und Modellierungstechniken
mit denen die FMEA und die FTA formal durchgeführt werden Können.
Die Modelle und Modellierungstechniken beschreiben das Verhalten der Systeme
oder Beziehungen zwischen Systemverhalten. Sie sind für eine Integration mit bestehenden
Artefakten der Entwicklung geeignet. Die Verhaltensmodellierung ist an die
in der Entwicklung verwendeten Modellierungswerkzeuge, wie SimulinkTM
, und an die verwendeten Dokumente der Entwicklung angepasst. Konsistent zur Verhaltensmodellierung
werden Modellierungstechniken für Fehlverhalten definiert. Fehlverhalten
werden als Modifikationen des Sollverhaltens ausgedrückt. Um die möglichen
Fehlverhalten eines Systems zu erfassen, werden potentielle Fehler, die Fehlverhalten
verursachen können, vorgegeben. Zu den jeweiligen Modellierungstechniken für
Fehler wird allgemein der Begriff des Fehlerzusammenhangs formal definiert. Weiter
werden spezifische in den Methoden FMEA und FTA verwendete Zusammenhänge
formalisiert, um eine Automatisierung zu ermöglichen. Abschließend zeigt die Arbeit
Möglichkeiten auf, die Durchführung der Analysen zu automatisieren.

ISBN-10 (Impresion) 3867279268
ISBN-13 (Impresion) 9783867279260
ISBN-13 (E-Book) 9783736929265
Idioma Deutsch
Numero de paginas 270
Edicion 1 Aufl.
Serie Audi Dissertationsreihe
Volumen 13
Lugar de publicacion Göttingen
Lugar de la disertacion TU München
Fecha de publicacion 02.04.2009
Clasificacion simple Tesis doctoral
Area Informática