动态自适应系统的正交容错
软件工程
2014-04-29 v1
摘要
在适应用户需求和变化环境的动态系统中，可靠性需求是不可避免的。本文提出了一种正交容错模型，作为管理和推理动态自适应系统中共存的多种容错机制的手段。与动态演化的容错需求相关的关键挑战之一，是集成容错特性所产生的特性交互问题。所提出的方法提供了容错关注点的分离，以研究集成容错对系统的影响。该方法使用状态机和操作语义来推理这些交互和不一致性。所提出的方法由 NuSMV 工具支持，用于针对逻辑语句模拟和验证状态机。
引用
@article{arxiv.1404.6830,
title = {Orthogonal Fault Tolerance for Dynamically Adaptive Systems},
author = {Sobia K Khan},
journal= {arXiv preprint arXiv:1404.6830},
year = {2014}
}
备注
EDCC-2014, Student-Forum, dynamically adaptive systems, fault tolerance, orthogonal fault tolerance