航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

紧缩场测试扫描架平面度控制系统研制

扫描架是紧缩场现场校准系统的关键测试设备。扫描架扫描平面度是影响校准准确度的关键指标。本文针对自研的扫描区域为φ6m的大型极化扫描架，设计了一套扫描架平面度实时补偿系统。该实时补偿系统可以实时检测扫描架扫描平面相对于基准平面的位置偏差，并通过伺服补偿机构完成补偿。测试结果表明该实时补偿系统可以准确、快速完成平面度的补偿，与半实时补偿方式相比具有更高的效率及精度。目前，该系统已成功应用于紧缩场现场校准。     

人工智能技术在嵌入式代码审查中的应用与展望

代码审查是航天嵌入式软件开发中的重要环节.近年来，随着嵌入式软件开发需求的增多，传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力，提升审查效率，研究者们逐渐将目光转向以深度学习技术为首人工智能领域，尝试寻求技术上得突破，以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动，即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查中的应用情况.最后根据相关领域的发展情况，对未来代码审查的发展方向作了进一步的探讨.     

实时嵌入式系统MIPS R3000和Intel 80960处理器的适用性评估

MIPSR30 0 0和Intel 80 96 0是实时嵌入式系统的两种候选处理器。本文描述了MIPSR30 0 0和Intel 80 96 0的结构特征。通过对流水线互锁、上下文转换、进程间通讯、同步及多进程支持、过程调用、容错和例外处理、中断处理、超越 /特殊功能、数据类型和调试支持等的分析 ,做出了两种结构的适用性评估     

通用嵌入式软件仿真测试环境GESTE2.0隆重发布

由中航一集团计算机软件可靠性管理与测评中心(CATC)自行研发、拥有独立知识产权的通用嵌入式软件仿真测试环境(GESTE)在京隆重发布二代产品——GESTE2.0。GESTE的成功面市打破了国外对我国在相关领域的技术垄断和封锁,填补了我国实时嵌入式软件缺乏通用仿真测试环境的空白,对于相关领域之快速定制需求亦具有非凡的革新意义。     

超声波法测量燃速初探

针对国内首次引进的超声波实时燃速测量系统编写了测试软件,用水作为被测试对象,进行了退移速率测量,分析了超声波测量燃速的主要影响因素。结果表明,测量精度主要受材料中声速的约束,声速会受到材料应力(压强)和温度的影响。该软件可以用于厚度、材料内声速和实时燃速测量。     

双频激光干涉多坐标实时精密测量系统研究

介绍了一种具有较简单结构、方便实用的经济型双频激光干涉多坐标实时精密测量系统的基本原理及构成．     

四余度容错计算机开发综合系统Q—DIF的设计

四余度容错计算机综合开发系统Ｑ—ＤＩＦ（ＱｕａｄＲｅｄｕｎｄａｎｔｙＣｏｍｐｕｔｅｒＤｅｖｅｌｏｐｍｅｎｔａｎｄＩｎｔｅｇｒａｔｉｏｎＦａｃｉ１ｉｔｙ），是为四余度容错计算机而研制的开发、综合系统。Ｑ－ＤＩＦ除了提供一般开发综合系统的功能外；还针对四余度容错计算机的特点，提供了四通道（处理机）同步运行、实时多通道参数显示、通道冻结和故障注入等功能，并在Ｗｉｎｄｏｗｓ平台上，给用户提供一个非常好的用户界面。