User: Guest  Login
Original title:
Model-based runtime analysis of distributed reactive systems 
Translated title:
Modellbasierte Laufzeitanalyse von verteilten reaktiven Systemen 
Year:
2007 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Stevens, Perdita (Dr.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
distributed reactive systems, runtime analysis, LTL, runtime verification, model-based diagnosis 
Translated keywords:
verteilte reaktive Systeme, Laufzeitanalyse, LTL, runtime verification, modellbasierte Diagnose 
Controlled terms:
Echtzeitsystem; Verteiltes System; Formale Methode; Temporale Logik; Laufzeit; Verifikation 
TUM classification:
DAT 263d 
Abstract:
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...    »
 
Translated abstract:
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...    »
 
Oral examination:
02.05.2007 
File size:
2659213 bytes 
Pages:
221 
Last change:
27.09.2010