The Theory And Practice Of Runtime Reflection: A Model-Based Framework For Dynamic Analysis Of Distributed Reactive Systems

Bauer, Andreas; Bauer, Andreas

ISBN 10: 3836474417 / ISBN 13: 9783836474412

Editore: Vdm Verlag Dr. Müller, 2008

Riguardo questo articolo

220 pages. 8.58x5.91x0.63 inches. In Stock.

Codice articolo 3836474417

Dati bibliografici

• Titolo: The Theory And Practice Of Runtime Reflection: A Model-Based Framework For Dynamic Analysis Of Distributed Reactive Systems
• Editore: Vdm Verlag Dr. Müller
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 3836474417
• ISBN 13: 9783836474412
• Rilegatura: Paperback
• Condizione: Brand New

Descrizione articolo

Riassunto

As interactions and dependencies within distributed reactive systemsincrease, the problem of detecting failures which depend on the exactsituation and environmental conditions they occur in grows. As aresult, not only the detection of failures is increasingly difficult,but also the differentiation between symptoms of a fault, and theactual fault itself. This work proposes an efficient approach for thedynamic analysis of such systems. It introduces a framework, referredto as runtime reflection framework, for the detection of failures aswell as identification of their causes. Failure detection is basedupon monitoring systems w.r.t. their properties, defined in a customhigh-level specification language. Properties are translatable intotemporal logics for which efficient monitors can be generated. Basedon the monitors'' verdicts, a dedicated failure diagnosis is performedto identify explanations for an observed deviation. Either thisconfirms that a monitor detected the root cause for a failure, orindicates that the fault is located elsewhere. This work developsboth the theoretical foundations for runtime reflection as well asefficient means for its implementation.

L'autore

Andreas Bauer is research fellow at the Australian National Universitywith a secondment to National ICT Australia (NICTA). In 2007, heobtained his PhD (Dr. rer. nat.) from Technische Universität München,where he also worked as a research assistant in the Software & SystemsEngineering group (2003-2007), and studied computer science(1998-2003).