执行机构驱动单元软件的设计与分析

介绍执行机构驱动单元软件(ADU)的功能设计和时序设计.从总线消息时序冲突、临界资源访问冲突等方面分析软件外部接口时序设计约束、内部接口时序设计约束的满足性,对时序设计有效性进行验证.软件可靠性设计方面,采用软件失效模式及影响分析(SFMEA)方法识别软件中的关键变量/器件,对其采取单粒子效应防护措施,并验证了措施的有效性.     

航天器C语言软件常见编程错误分析及检测方法研究

基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.     

立体物料仓库单元的机械系统FMEA分析

立体物料仓库单元是钣金自动化智能生产线中重要的板料储存中心，其可靠性问题直接关系到钣金自动化智能生产线的可靠性，因此，对钣金自动化智能生产线的立体物料仓库单元机械系统进行故障模式及影响分析(FMEA)十分重要。针对传统FMEA中缺少功能和故障因果关系分析的问题，提出使用维护感知设计环境(MADe)软件对立体物料仓库单元的机械系统进行功能分析和故障数据分析，并建立立体物料仓库单元的功能模型图和机械系统的故障因果关系图。在此基础上，根据立体物料仓库单元功能模型图构建机械系统的模糊认知图(FCM)邻接矩阵，再通过计算得出立体物料仓库单元机械系统的FMEA表。对立体物料仓库单元机械系统进行基于MADe软件的FMEA分析显示，所提方法对提高钣金自动化智能生产线可靠性具有通用性。      

周期结构电磁特性在高频真空器件中的应用

作为行波类真空电子器件的核心组件,慢波结构是一种周期结构,其场可以有无限多个模式,每个模式由无穷多个空间谐波构成.每个空间谐波有相应的色散曲线且曲线各段有不同的特性.提出了周期结构色散特性的全维度开发的概念,并以一种可用微电机系统(MEMS)技术加工的折叠波导(FWG)慢波结构为例,对其色散特性进行了分析,利用这些色散特性开展了行波管(TWT)、返波管(BWO)等传统器件的研究工作,同时提出了过模器件、带边振荡器(BO)和谐波放大器(THAT)等新型器件,这些器件的实验研究则以W波段及其以上频率为主,最后给出了突破的关键技术以及测试得到的器件的主要性能.      

基于弹性的体系组件重要度及恢复策略

体系(SoS)在遭受内部或外部的干扰时性能会受到影响,体系结构作为体系设计和构建的基础,其弹性不仅是反映体系性能恢复能力的一个重要指标,更是体系演化性的重要体现。提出了一种基于弹性的体系结构评价方法,对体系的组件或系统进行重要度分析(CIMs)。首先,给出了体系结构弹性的明确定义并构建了相关的数学模型,综合权衡了性能损耗与恢复时间对体系组件重要度的影响;其次,通过分析不同的干扰事件和恢复策略,构建了基于重要度分析的体系弹性优化模型,并重点分析了其对体系性能恢复的影响;最后,以某体系结构的弹性评价为例,对本文提出的模型和方法进行了验证,优化后的恢复策略使体系性能的恢复效率有显著的提高。     

UTC（NTSC）自动监控软件的设计方案及计算机模拟

论述了我国UTC(NTSC)自动监控软件的必要性 ,给出了自动监控软件算法的一种设计方案以及利用计算机模拟的结果 ,并对模拟的结果进行了分析。     

基于模糊TOPSIS的FMEA方法

针对传统故障模式及影响分析(FMEA)中评价故障模式的影响因素和计算风险优先数存在的缺陷,提出了一种基于模糊逼近理想解排序法(TOPSIS)的FMEA方法。该方法采用模糊置信结构对影响因素的评价进行表示,并通过去模糊化和加权平均建立明确置信矩阵。考虑各影响因素的权重对分析结果的重要性,将主、客观赋权法相结合来分配各影响因素的权重,进而建立加权规范化矩阵,根据相对贴近度的大小确定各故障模式的风险水平。最后,举例验证了该方法的可行性和有效性。      

嵌入式软件智能合成框架及关键科学问题

程序合成是提高软件开发效率和质量的有效途径，也是计算机科学重要的前沿方向之一。首先，概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上，提出了软件知识产权(intellectual property, IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis, IPESIS)及其框架。最后，阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言，在更高的抽象层次上对目标软件进行刻画，以软件IP为粒度缩小程序搜索空间，采用机器学习等人工智能技术自动合成程序，有望突破现有方法的局限，进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。     

高动态GPS卫星信号模拟器导航电文生成

为了测试全球定位系统GPS(Global Positioning System)接收机的性能,应用GPS信号模拟器来模拟各种条件下真实的GPS信号.GPS卫星信号发生器由硬件、计算机和软件组成.软件主要由卫星导航参数计算模块、目标运动轨迹计算模块、误差计算模块等模块组成.导航电文产生功能模块是高动态GPS卫星信号模拟器要解决的一项关键技术.给出了3个卫星星钟改正参数的物理意义和星历产生模型,根据这些参数并结合相应的时间参数来形成卫星导航电文.通过程序仿真并与导航电文进行验证,证明推导出的星历产生模型基本符合GPS星的星座排列规律.     

引入缺陷的细粒度软件变更识别方法

软件开发过程中,缺陷通过变更引入软件系统。为提高缺陷发现效率,降低人工审查成本,提出一种引入缺陷细粒度变更自动化识别方法。该方法基于机器学习分类思想,将细粒度变更作为实例,从时间、地点、内容、意图以及人员5方面构造特征集;采用程序静态分析与自然语言语义分析相结合的方法挖掘软件历史库,自动化构建细粒度变更实例;使用软件历史中的细粒度变更实例训练分类器,从而识别新的细粒度变更是否引入了缺陷。在实际软件系统上运用成本有效性评估策略验证方法有效性。结果表明相比于文件和事务粒度的引入缺陷变更识别方法,该方法可显著降低人工审查成本。     

基于灰色系统理论的软件可靠性综合评价框架

从系统工程的角度出发,提出一套完整的基于灰色系统理论的软件可靠性综合评价框架.首先,在ISO/IEC 9126软件质量模型的基础上,建立起软件可靠性综合评价体系,并利用灰关联分析方法计算每个度量元与软件可靠性之间的相关程度,由此确定度量元在评价体系中的权重值.在此基础上,提出基于灰色聚类的软件可靠性综合评价方法.初步的实验结果表明,基于灰色系统理论的软件可靠性综合评价框架具有方便实用、全寿命周期评价、数据来源广泛、且可准确反映当前软件可靠性指标水平等优点,适合于软件可靠性工程决策活动.      

航天嵌入式软件静态分析技术

软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一,数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质,是提高航天嵌入式软件安全性与可靠性的一种重要技术.首先将分析航天嵌入式软件的代码特征及常见错误.在此基础上,介绍了适合于航天嵌入式软件错误检测的静态分析技术,包括抽象解释、符号执行、数据竞争检测等.然后,介绍了国内近年来在面向航天嵌入式软件的静态分析技术与工具方面的研究进展.最后,对未来发展方向做了简单展望.     

UML软件开发过程和支持环境研究

从当前对软件工程过程的需求出发,结合软件工程领域的最新成果统一建模语言UML(Unified Modeling Language),重点讨论了适应需求变化的迭代式软件开发过程,提出了柔性软件开发模型.在此研究的基础上,设计了集成化UML软件开发环境的框架,指出其组成应包括UML可视化建模系统、UML模拟系统、UML代码生成系统和UML逆向变换系统4个部分,并提出了需要解决的问题.     

航天器C51语言软件中断资源冲突分析方法

对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.     

嵌入式软件可靠性仿真测试系统研究

 研究嵌入式软件可靠性仿真测试方法和环境.文中给出了仿真测试系统的体系结构,并结合该体系结构对嵌入式软件可靠性仿真测试的软硬件特性,软件可靠性仿真测试的方法、测试环境配置、关键技术及其可行的解决方案作了探讨.特别地,给出了一个生成测试用例的新方法.     

基于黑盒测试环境的交会对接软件时序分析技术及应用

航天器空间交会对接难度大,GNC软件对任务的完成起到重要作用.由于交会对接控制软件功能复杂,时序要求严格,这对软件测试提出了很高的要求.基于黑盒测试环境,利用FPGA设计方法和时序分析技术,实现了对交会对接软件重要数据运行时序的捕获和对上下行信号相位关系的跟踪,完善了故障触发和上行注入手段.该测试环境在交会对接软件研制过程中起到重要作用.     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。