动态自适应系统的正交容错
Orthogonal Fault Tolerance for Dynamically Adaptive Systems
摘要：
在适应用户需求和不断变化的环境的动态系统中，可靠性需求是不可避免的。本文提出了一种正交的容错模型，作为一种手段来管理和理由的多个容错机制，共存于动态自适应系统。与动态演化的容错需求相关联的关键挑战之一是由容错特征的集成引起的特征交互问题。所提出的方法提供了一个分离的容错关注的综合容错对系统的影响进行研究。这种方法使用状态机和操作语义来推理这些交互和不一致。所提出的方法是支持的工具NuSMV模拟和验证状态机对逻辑语句。
英文摘要：
In dynamic systems that adapt to users' needs and changing environments, dependability needs cannot be avoided. This paper proposes an orthogonal fault tolerance model as a means to manage and reason about multiple fault tolerance mechanisms that co-exist in dynamically adaptive systems. One of the key challenges associated with dynamically evolving fault tolerance needs is the feature interaction problem arising from the integration of fault tolerance features. The proposed approach provides a separation of fault tolerance concerns to study the effects of integrated fault tolerance on the system. This approach uses state machine and operational semantics to reason about these interactions and inconsistencies. The proposed approach is supported by the tool NuSMV to simulate and verify the state machines against logic statements.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
