Blick ins Buch

Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis

Kai Höfig (Autor)

Dieter Rombach, Peter Liggesmeyer, Frank Bomarius (Herausgeber)

Buch | Softcover

184 Seiten

2013
Fraunhofer Verlag
978-3-8396-0553-0 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

Die Arbeit bedient sich der Quantifizierung von Sicherheitsanalysen, um genauere Schranken für die maximale Ausführungszeit eingebetteter Systeme ermitteln zu können. Dabei stehen vor allem sicherheitskritische eingebettete Systeme im Vordergrund. Bei Systemen dieser Art kommen oft Fehlertoleranzmechanismen zum Einsatz, die mittels herkömmlicher Verfahren typischerweise sehr konservativ behandelt werden und nur schwer zu analysieren sind.

Prof. Dr. Dieter Rombach - und Prof. Dr. Peter Liggesmeyer - sind Lehrstuhlinhaber für Software Engineering an der TU Kaiserslautern. Sie leiten gemeinsam das Fraunhofer Institut für Experimentelles Software Engineering.

Prof. Dr. Peter Liggesmeyer - und Prof. Dr. Dieter Rombach - sind Lehrstuhlinhaber für Software Engineering an der TU Kaiserslautern. Sie leiten gemeinsam das Fraunhofer Institut für Experimentelles Software Engineering.

Erscheint lt. Verlag	1.7.2013
Reihe/Serie	PhD Theses in Experimental Software Engineering ; 45
Zusatzinfo	num. illus. and tab.
Verlagsort	Stuttgart
Sprache	englisch
Maße	170 x 240 mm
Themenwelt	Informatik ► Software Entwicklung ► Qualität / Testen
	Informatik ► Software Entwicklung ► UML
	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Embedded System • Failure Mode and Effects Analysis (FMEA) • fault tolerance • Forscher im Bereich der probabilistischen Zeitanalyse für modellbasierte Ansätze • Fraunhofer IESE • Ingenieur • Ingenieure die sich mit der Analyse sicherheitskritischer Softwaresysteme befassen • modellbasierte Ansätze • probabilistische Zeitanalyse • Safety Analysis • Safety Critical System • sicherheitskritisches Softwaresystem • Software engineering • System safety
ISBN-10	3-8396-0553-9 / 3839605539
ISBN-13	978-3-8396-0553-0 / 9783839605530
Zustand	Neuware