期刊简介
本刊是由中国航天科工集团公司主管, 由航天科工集团十七所主办。它是仿真技术领域的综合性科技期刊。98年起已列入国家科技部中国科...【详细查看】
过刊浏览
信息公告
- 15/01 中国航天科工信...
- 14/09航天工业机关服务...
- 14/10航天信息股份有限...
- 14/12湖南航天工业总公...
- 14/08中国航天科工集团...
- 14/07中国航天科工集团...
- 14/06 南京航天管理干...
基于数据总线的故障容错体系结构的仿真研究
【出 处】:《
计算机仿真
》
CSCD
2014年第31卷第5期 17-21页,共5页
【作 者】:
高亚楠
[1] ;
贾英民
[2] ;
蔺玥
[1]
【摘 要】
针对特殊任务航天器的高可靠性和高安全性要求,提出了一种并行通道(parallel channel)配合计算机交联(Computer Cross Talk)的导航制导与控制分系统(GNC分系统)体系结构。上述体系结构使用1553B数据总线和TTP(Time Triggered Protocol)数据总线,配合拜占庭交联模式的GNC控制器,通过数据交换和数据比对满足系统故障检测和故障容错的要求。使用SCADE系统设计工具软件对上述系统进行正常情况和故障情况建模,并对系统的故障容错特性进行形式化验证,验证结果表明,系统可以容忍任意一重故障且不损失任何性能,并具备实时现场恢复的能力。
相关热词搜索: 总线 容错 体系结构 仿真 形式化 Data bus Fanh-tolerant Architecture Simulation Formal method