欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
本项目的目标是以国家自然科学基金"可信软件基础研究"重大研究计划研究成果为基础，面向软件开发生命周期全过程，系统地研究其可信性需求，建立航天嵌入式软件可信性保证技术体系框架，并在此基础上进行航天嵌入式软件可信性保证集成环境顶层方案的设计。 本项目从实际出发总结出航天嵌入式软件的十大可信性属性，明确了航天嵌入式软件可信性保证研究目标，并建立起航天嵌入式软件可信性保证技术体系；从我国航天嵌入式软件可信性保证现状、工业界和学术界相关技术和工具、重大研究计划相关研究成果三个方面入手，进行了嵌入式软件可信性保证集成环境的需求分析；在此基础上进行了集成环境的顶层方案设计。项目按照研究计划圆满完成各项研究任务。
结论摘要：
英文主题词Aerospace Embedded Software; Trustworthy Software; Integration Environment
成果综合统计
期刊论文
会议论文
专利
获奖
著作
相关项目
杨孟飞的项目
