The Theory and Practice of Runtime Reflection的封面
书籍主题:

The Theory and Practice of Runtime Reflection

A Model-based Framework for Dynamic Analysis of Distributed Reactive Systems

VDM Verlag Dr. MŸller Aktiengesellschaft & Co. KG (2008-03-07 )

Books loader

Omni badge 有获得代金券的资格
ISBN-13:

978-3-8364-7441-2

ISBN-10:
3836474417
EAN:
9783836474412
书籍语言:
英文
作品简介:
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.
出版社 :
VDM Verlag Dr. MŸller Aktiengesellschaft & Co. KG
由(作者):
Andreas Bauer
页码 :
220
发表日期:
2008-03-07
现货:
备有现货
类别:
普通自然科学
价格:
79.00 €
关键词:
Dynamic Analysis, model-based systems, distributed systems, reactive systems, diagnosis, runtime verification, temporal logic

Books loader

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::unionpay Adyen::paypal Paypal 银行转帐

LOGIN
  0产品在购物车内
编辑购物车
Loading frontend
LOADING