机构名称：
¥ 1.0
考虑到这些目标和限制，案例研究所选的设备是 NASA 兰利研究中心正在开发的一种新型容错架构的核心子系统。有几个因素促使我们为这次演习选择容错系统。容错协议的硬件实现通常是紧凑的设计；这允许在训练演习的时间限制内进行全面处理。此外，容错设备的行为本质上很复杂；这种设备显然属于 DO-254 的范围。此外，有大量研究文献涉及容错协议的形式化分析；容错系统是形式化方法演示的良好候选者。最后，任何预期从瞬态故障中恢复的设备也必然需要处理一组有限的永久故障。
RTCA DO-254 的案例研究应用
主要关键词
相关文件推荐
