载人航天领域预先研究项(000301)
- 作品数：2 被引量：5H指数：2
- 相关作者：马越李潇李斌刘剑董龙明更多>>
- 相关机构：中国科学院软件研究所国防科学技术大学更多>>
- 发文基金：载人航天领域预先研究项国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 航天嵌入式操作系统的分析与验证被引量：3
- 2012年
- 在介绍航天嵌入式操作系统的特点和应用概况的基础上,阐述了对航天嵌入式操作系统进行自动分析与验证的必要性,综述了自动分析和验证技术,并重点介绍了模型检测和符号执行两种分析技术,列举了领域内近年来具有代表性的工具及分析实例。结合航天嵌入式操作系统的特点,总结了嵌入式操作系统自动分析与验证技术面临的挑战,包括状态爆炸、描述不精确性、代码复杂度、实时性分析等。
- 李斌马越李潇刘剑
- 关键词：嵌入式操作系统航天系统
- 面向载人航天软件安全性的标准、方法及工具综述被引量：2
- 2012年
- 调研与学习已有的标准、方法和工具,是保障载人航天软件安全性的必要途径。首先以DO-178B标准为例介绍了适用于我国载人航天软件研制的安全性标准;然后基于DO-178B标准的安全性要求,介绍了三种适用的软件安全性保障方法;最后总结介绍了一些采用不同技术手段增强软件安全性的工具。基于文中的调研结果及我国载人航天系统的研制现状,给出了一种建议的载人航天软件安全性保障框架,可对我国载人航天型号研制中软件安全性保障工作提供一定的指导意义。
- 李仁见董威董龙明吴学光
- 关键词：载人航天软件开发方法
