The Theory and Practice of Runtime Reflection
A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems
978-3-8364-7441-2
3836474417
220
2008-03-07
79.00 €
eng
https://images.our-assets.com/cover/230x230/9783836474412.jpg
https://images.our-assets.com/fullcover/230x230/9783836474412.jpg
https://images.our-assets.com/cover/2000x/9783836474412.jpg
https://images.our-assets.com/fullcover/2000x/9783836474412.jpg
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 symptoms of a fault, and the
actual fault itself. This work proposes an efficient approach for the
dynamic analysis of such systems. It introduces a framework, referred
to as runtime reflection framework, for the detection of failures as
well as identification of their causes. Failure detection is based
upon monitoring systems w.r.t. their properties, defined in a custom
high-level specification language. Properties are translatable into
temporal logics for which efficient monitors can be generated. Based
on the monitors' verdicts, a dedicated failure diagnosis is performed
to identify explanations for an observed deviation. Either this
confirms that a monitor detected the root cause for a failure, or
indicates that the fault is located elsewhere. This work develops
both the theoretical foundations for runtime reflection as well as
efficient means for its implementation.
https://www.morebooks.de/books/pt/published_by/vdm-verlag-dr-m%C2%9Fller-aktiengesellschaft-co-kg/185350/products
Ciências Naturais Gerais
https://www.morebooks.de/store/pt/book/the-theory-and-practice-of-runtime-reflection/isbn/978-3-8364-7441-2