A Theory of Fault Recovery for Component-Based Models
A Theory of Fault Recovery for Component-Based Models
复制标题
基于组件的模型的故障恢复理论
DOI：
10.1007/978-3-642-33536-5_31
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Gregor Gössler
中科院分区：
文献类型：
--
作者：
Borzoo Bonakdarpour;M. Bozga;Gregor Gössler
本文介绍了基于组件的模型的故障恢复理论。在我们的框架中，模型是根据一组原子组件来指定的，这些组件是由一组粘合运算符增量组合和同步的。我们定义了此类模型提供恢复机制的含义，以便模型在出现故障时收敛到其正常行为。我们识别\emph{校正器}（原子或复合）组件，其在模型中的存在对于保证故障发生后的恢复至关重要。我们还形式化了基于组件的模型，可以有效地将恢复与功能问题分开。
This paper introduces a theory of fault recovery for component-based models. In our framework, a model is specified in terms of a set of atomic components that are incrementally composed and synchronized by a set of glue operators. We define what it means for such models to provide a recovery mechanism, so that the model converges to its normal behavior in the presence of faults. We identify \emph{corrector} (atomic or composite) components whose presence in a model is essential to guarantee recovery after the occurrence of faults. We also formalize component-based models that effectively \emph{separate} recovery from functional concerns.