机构名称：
¥ 1.0
N.C. Audsley、M. Burke 英国航空航天可靠计算系统中心，约克大学计算机科学系，约克 Y01 5DD，英国。{neil,baemike}@cs.york.ac.uk 摘要——本文探讨了通过重新配置将高级容错形式引入安全关键型航空电子系统的问题。这是在分布式集成航空电子系统发生故障后提高可用性所必需的（与静态联合系统相比）。采取的方法是确定从当前架构到包含或多或少重新配置的架构的迁移路径。确定的其他挑战包括开发过程的变化；增量和灵活的时间和安全性分析；适用于安全关键系统的可配置内核。目录
分布式容错航空电子系统 - arXiv
主要关键词
相关文件推荐
