产品内部构件状态自动诊断系统

介绍一种对复杂产品内部构件状态进行自动在线无损诊断的射线数字成像系统 ,采用图像处理、模式识别和神经网络等技术 ,实现了对复杂构件内部状态准确、快速的诊断和识别。

“嫦娥五号”探测器GNC应用软件高可信研制技术

基于“嫦娥五号”(Chang’E-5,CE-5)任务高安全性、高可靠性、高复杂度、高自主性的功能以及高实时性、强时序性的需求,开展了导航、制导与控制(Guidance,Navigation and Control,GNC)分系统应用软件高可信研制保障技术研究。针对自然语言需求定义方式无法精确描述一些关键复杂时序的问题,在需求分析阶段建立了基于时序安全性属性描述的形式化建模语言模型验证技术,保证了系统时序的安全性;针对人工走查难以发现的代码深层次脆弱性缺陷,在设计编码阶段结合飞行任务剖面提取了程序切片,提高了源代码缺陷定位效率,保障了编码的规范性与软件构件的功能正确性;针对复杂软件的海量测试用例无法快速执行的问题,在确认测试阶段,研究了基于状态图和序列图的测试用例生成方法,搭建了一键测试的自动测试系统,实现了海量测试用例的快速自动执行,有效提升了测试效率与测试覆盖性。通过各阶段地面仿真实验和在轨飞行试验验证,表明所提出的高可信软件研制保障技术方法有效可行。

一种实用的嵌入式控制系统应用软件需求分析方法

将自顶向下的结构化分析方法和自底向上的面向对象的分析方法相结合,采用分析、综合的基本原则,依循着人们认识事物的规律,渐进地呈现出嵌入式控制系统的抽象逻辑模型,是一种科学的、适用于嵌入式控制系统应用软件需求分析的方法。

一种航天控制器软件应用层接口数据分析方法

为保证航天器控制软件产品质量,提出一种航天器控制软件应用层接口数据需求分析方法。结合具体型号,采用面向对象方法分析外部单机,获得应用层接口数据(应用层API);使姿轨控核心业务与通信、协议、数据处理、部件管理等支持业务分离,确定核心业务与支持业务的沟通界面。结果表明:该方法可提高软件功能的独立性,软件架构的灵活性,降低软件研制复杂度,将姿轨控分系统所有外部单机和控制计算机组织为有机整体,保证软件产品在功能和设计2个维度上的高内聚和低耦合。

基于混合编程技术的AOCC应用软件快速仿真平台

介绍基于混合编程技术的AOCC应用软件的快速仿真平台的整体框架设计以及具体实现.基于该方法构建的快速仿真平台,能够满足软件开发人员对基于8086汇编语言开发的AOCC应用软件开、闭环调试和测试的要求,对提高软件的开发效率和保证软件的质量有积极意义.