基于数据总线的故障容错体系结构的仿真研究

• 作者: 蔺玥 贾英民 高亚楠
• 来源期刊: 计算机仿真
• 学科: 航空航天
• 关键词: 总线 容错 体系结构 仿真 形式化
• 年，卷（期）: 2014,（5）
• 页码范围: 17-21
• 页数: 5页
• 分类号: V448.25+3
• 字数: 3873字
• 语种: 中文

摘要

针对特殊任务航天器的高可靠性和高安全性要求，提出了一种并行通道( parallel channel)配合计算机交联( Computer Cross Talk)的导航制导与控制分系统( GNC分系统)体系结构。上述体系结构使用1553B数据总线和TTP( Time Triggered Protocol)数据总线，配合拜占庭交联模式的GNC控制器，通过数据交换和数据比对满足系统故障检测和故障容错的要求。使用SCADE系统设计工具软件对上述系统进行正常情况和故障情况建模，并对系统的故障容错特性进行形式化验证，验证结果表明，系统可以容忍任意一重故障且不损失任何性能，并具备实时现场恢复的能力。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	贾英民	北京航空航天大学第七研究室	37	225	8.0	12.0
2	高亚楠		8	25	2.0	5.0
3	蔺玥		2	2	1.0	1.0