航天嵌入式软件可信性保障技术及应用研究
Aerospace embedded software dependability guarantee technology and application作者机构：中国空间技术研究院北京100094 北京控制工程研究所北京100190
出 版 物：《中国科学：技术科学》 (Scientia Sinica(Technologica))
年 卷 期：2015年第45卷第2期
页 面：198-203页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家中长期科技发展规划重大专项和国家自然科学基金(批准号:91118007)资助项目
摘 要：研究了航天嵌入式软件可信性保障的问题和现状,提出了航天嵌入式软件的可信保障技术体系,并针对动态时序正确性、程序实现正确性和控制行为正确性保障等核心关键可信问题的理论方法和技术进行了深入研究,在此基础上研制了相应的保障工具,形成了航天嵌入式软件可信性保障集成环境.本文的研究成果在月地高速再入返回飞行器软件研制中进行了应用,为飞行任务的成功作出了贡献.
维普期刊数据库
同方期刊数据库