中国科技核心期刊

中文核心期刊

CSCD来源期刊

空间控制技术与应用 ›› 2017, Vol. 43 ›› Issue (5): 55-60.doi: 10.3969/j.issn.1674-1579.2017.05.009

• 技术交流 • 上一篇    下一篇

基于拜占庭容错体系构架的航天器控制系统测试性设计与分析

唐宁,刘智勇,高亚楠,何英姿   

  1. (北京控制工程研究所,北京 100190)
  • 收稿日期:2016-09-27 出版日期:2017-10-20 发布日期:2018-01-03
  • 作者简介:作者简介:唐宁(1977—),男,高级工程师,研究方向为航天器系统集成与技术设计;刘智勇(1984—),男,工程师,研究方向为航天器姿态与轨道控制;高亚楠(1977—),男,研究员,研究方向为GNC系统级总体设计;何英姿(1970—),女,研究员,研究方向为复杂航天器高精度高稳定度姿态控制技术和空天飞行器GNC技术等.

Design and Analysis of DFT of Spacecraft Control System Based on Byzantine Fault Tolerant Architecture

 TANG  Ning, LIU  Zhi-Yong, GAO  Ya-Nan, HE  Ying-Zi   


  1. (Beijing Institute of Control Engineering, Beijing 100190, China)
  • Received:2016-09-27 Online:2017-10-20 Published:2018-01-03

摘要: 摘要: 飞行控制系统作为航天飞行器的关键机载系统,其运行情况直接关系到飞行任务的成败.通过良好的测试性设计,可以提高系统的可靠性和安全性,减少维修人力及其他保障资源,降低寿命周期费用.对拜占庭容错体系结构的航天器控制系统和分层多信号流图模型的测试性设计和建模方法进行了详细的叙述,并对基于拜占庭容错体系结构的航天器控制系统进行了测试性建模,通过测试性建模和分析系统(TMAS软件)验证控制系统测试性设计的正确性和有效性.  

关键词: 关键词: 飞行控制系统, 拜占庭容错系统结构, 多信号流图, 测试性设计和建模

Abstract: Abstract:Flight control system is a very important part of the spacecraft onboard systems. Good design for testability (DFT) of flight control system can improve the system reliability and security, and reduce manufacturing cost. The methods of DFT of flight control system and multisignal flow graph model are introduced in detail. Then, based on Byzantine fault tolerant architecture, the verification of DFT of flight control system is demonstrated via software TMAS (testability modeling and analysis system).  

Key words: Keywords:flight control system, Byzantine fault tolerant architecture, multisignal flow graph model, design for testability and modeling

中图分类号: 

  • 中图分类号: TP391.9