Stepwise Refinement of Complex Dependability Models Using LARES+
Stepwise Refinement of Complex Dependability Models Using LARES+
复制标题
使用 LARES 逐步细化复杂的可靠性模型
DOI：
10.1109/ares.2011.92
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
M. Walter
中科院分区：
文献类型：
--
作者：
M. Walter
本文介绍了如何使用LARES+（可重构系统语言）的方法，逐步细化，包括60个组件的实际容错计算机系统的建模。所考虑的系统具有高度不规则的冗余结构。组件不被假定为独立的。相反，假设休眠组件以降低的故障率发生故障，并且故障检测和重新配置是不完美的。
This article shows how the method LARES+ (Language for Reconfigurable Systems) is used to model a realistic fault-tolerant computer system comprising 60 components by step-wise refinement. The system under consideration has a highly irregular redundancy structure. Components are not assumed to be independent. In contrast, it is assumed that dormant components fail with a reduced failure rate, and that failure detection and reconfiguration is imperfect.
LARES â� 一种描述容错系统可靠性模型中系统可重构性的新方法
DOI：
10.1201/9780203859759.ch22
发表时间：
2009
期刊：
影响因子：
--
作者：
A. Gouberman;M. Riedl;J. Schuster;M. Siegle;M. Walter
通讯作者：
M. Walter