Benutzer: Gast  Login
Originaltitel:
Model-based runtime analysis of distributed reactive systems 
Übersetzter Titel:
Modellbasierte Laufzeitanalyse von verteilten reaktiven Systemen 
Jahr:
2007 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Gutachter:
Broy, Manfred (Prof. Dr. Dr. h.c.); Stevens, Perdita (Dr.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
distributed reactive systems, runtime analysis, LTL, runtime verification, model-based diagnosis 
Übersetzte Stichworte:
verteilte reaktive Systeme, Laufzeitanalyse, LTL, runtime verification, modellbasierte Diagnose 
Schlagworte (SWD):
Echtzeitsystem; Verteiltes System; Formale Methode; Temporale Logik; Laufzeit; Verifikation 
TU-Systematik:
DAT 263d 
Kurzfassung:
As interactions and dependencies within distributed reactive systems increase, the problem of detecting failures which depend on the exact situation and environmental conditions they occur in grows. As a result, not only the detection of failures is increasingly difficult, but also the differentiation between the symptoms of a fault, and the actual fault itself, i. e., the cause of a failure. This thesis proposes an efficient approach for the analysis of distributed reactive systems...    »
 
Übersetzte Kurzfassung:
Zunahme von Abhängigkeiten und daraus resultierende, komplexe Interaktionsmuster in verteilten reaktiven Systemen erschweren die Entdeckung von Fehlern, die in komplizierter Weise von Situations- und Umweltbedingungen der Systeme abhängen. In Folge ist oft nicht nur die Erkennung von Fehlverhalten technisch aufwändig, sondern auch die Unterscheidung zwischen Fehlersymptomen und -ursachen. Im Rahmen dieser Arbeit wird ein Verfahren zur dynamischen Analyse von verteilten reaktiven Systemen vorgest...    »
 
Mündliche Prüfung:
02.05.2007 
Dateigröße:
2659213 bytes 
Seiten:
221 
Letzte Änderung:
27.09.2010