嵌入式分区操作系统可靠性技术的研究与应用

嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。     

软件可靠性及其评估

软件可靠性性工程是一门与软件工程密切相关的可靠性工程新的分支学科。随着嵌入式计算机在战术导弹武器系统中的应用，人们已愈来愈重视软件可靠问题。本文在分析了软件可靠性特征和可靠性模型的基础上，通过实例介绍了软件可靠性测试软件可靠性评估的一些方法。     

靶场测控设备软件质量保障新模式研究

针对靶场测控设备软件运行不稳定、软件中隐含许多问题的现状,研究适合于其开发、维护的新的质量保障模式,提出了软件巡回测试的方法;分析了造成软件问题的原因是研制单位软件研制能力不足、过程管理不规范;研究了软件巡回测试的特点、条件和方法。实践证明,巡回测试是提高测控设备软件健壮性和可靠性的有效方法,周期性的软件巡回测试是一个发现和解决测控设备软件问题的有效质量保障模式。     

软件可靠性现状及展望

软件的可靠性问题引发了“软件危机”,促使软件工程学的形成和发展。起源于硬件的质量管理和可靠性工程为解决软件的可靠性做出了重大贡献,但软件的质量保证和可靠性工程仍不完善,与要求差距很大,一些观点仍有争论。我国的软件可靠性领域仅处于起步阶段,不能再贻误。     

实时高可用测控集群管理控制节点设计

为提高飞行器试验任务中的实时测控数据处理能力,满足高并发、大容量、强实时、高可靠的试验数据处理需求,基于实时操作系统建立了一个计算功能强大、实时性强、可靠性高的测控集群系统。为实现实时测控集群系统的原型开发,通过研究负责节点管理和任务分配的集群管理控制节点的功能,分别对系统监控软件、负载均衡软件和人机交互软件的详细设计方法开展了研究,重点解决了节点信息收集、任务分配、负载均衡、双工冗余热备份、人机交互、节点控制等技术难题,保证了实时测控集群系统的实时性和可用性,为系统软件原型开发奠定了技术基础。     

弹上电子设备的可靠性降额设计方法

在我国目前电子元器件可靠性水平还不太高的情况下，为设计出高可靠的弹上电子设备，采用降额设计是一种有效的办法。本文通过对某战术导弹可靠性工程的实践，介绍了有关降额设计的一些方法。     

基于ARINC615A的加卸载软件设计与实现

为适应现代航电网络系统维护的实际应用,在深入研究ARINC615A协议的基础上,提出了一种可靠的文件加卸载软件实现方法,能够实现指定文件在航电系统中不同设备之间的上传和下栽功能,并引入状态监控机制、CRC校验机制,冗余管理机制,加强了文件加卸栽的可靠性和正确性.大量的功能和性能测试证明,实现了ARINC615A协议规定的文件加卸载功能,具有良好的可靠性和正确性,满足实际应用的技术需求.     

柔性制造单元的可靠性探讨

经济、实用、可靠是任一工程项目的三大指标,柔性制造单元也不例外。本文探讨如何估算柔性制造单元的可靠性和改善可靠性的措施。     

计算机辅助可靠性设计分析系统研究

介绍了以可靠性设计分析工作流程为主线,以可靠性数据库为核心,全面支持可靠性要求制定 (定性和定量要求 )、可靠性设计分析和可靠性设计分析咨询等工作,及与传统专业软件综合应用的计算机辅助可靠性设计分析软件系统。详细论述了该系统的功能和软件结构;软件支持的可靠性设计分析功能流程;与EDA、热分析等传统专业软件综合应用进行可靠性预计、FMEA等关键技术,及软件的特点。     

FL—2风洞模型支架迎角控制系统改造

本文介绍了FL－2风洞攻角控制系统改造的必要性，改造的方案，以及软件的设计。从而提高了系统的可靠性和稳定性，提出了实验的精度，为风洞实验提供了可靠的设备保证。     

军用嵌入式可信软件研究

随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。     

一个模糊软件可靠性确认模型

模糊软件可靠性模型不仅适用于刻划测试阶段的软件可靠性行为,而且适用刻划确认(验收)阶段的软件可靠性行为。并给出在确认(验收)阶段判定软件是否达到可靠性目标的准则。     

装备软件可靠性分析与设计方法

软件可靠性是软件质量度量6个特性中的核心特性,已经成为决定装备作战效能的关键因素之一。特别是随着装备软件规模巨、功能强、要求高的发展趋势,采用软件可靠性工程方法提高装备软件的可靠性具有十分重要的意义。在对装备软件的系统和详细级故障模式、影响及危害进行分析的基础上,提出了提高装备软件可靠性的实现途径,并从软件研制过程的四个阶段重点进行了阐述,为相关工作提供参考。     

某测试软件输入模块的可靠性测试方法研究

采用黑盒测试方法对某数据采集系统的测试软件进行了测试.通过对软件需求和性能的分析,建立了软件的运行剖面和测试案例,进行了可靠性测试,得到了该软件输入模块的可靠性测试结果.     

基于故障注入的实时嵌入式软件仿真测试技术研究

由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入技术的仿真测试技术研究,设计了一种实时嵌入式软件仿真测试平台方案。     

灰盒测试方法在软件可靠性测试中的应用

 阐述了软件可靠性测试的概念和灰盒测试方法在软件可靠性测试中生成测试数据方面的应用,给出了方法用于可靠性测试中的工作流程,分析了其与传统的可靠性测试方法相比的优越性以及尚未解决的局限性,展望了未来的研究方向。     

弹载专用计算机工作软件测试分析

弹载专用计算机软件是影响导弹飞行的关键软件,在研制单位进行软件测试后,应由监造单位组织第三方独立的测试。文中介绍了软件测试的体会,强调对飞行控制软件的测试需要一定的理论支持和丰富的实践经验,在软件测试中,对软件设计提出了修改意见,以加强软件研制的质量监督。     

软件可靠性增长测试的研究

研究、探讨了软件可靠性增长测试的基本概念及其实施过程中的若干问题,按照实际运行剖面选取测试用例、软件可靠性增长预计,以及正确收集故障数据的问题。     

机载计算机软件的测试

测试是保证机载软件质量可靠性的关键工作,但由于其复杂性和特殊性,机载软件的测试存在许多特殊的困难。本文对机载软件的特点进行归纳并分析其对软件测试的影响,针对机载软件的特点提出了相应的测试策略,特别地对机载软件可靠性测试的关键技术进行了讨论,提出了机载软件可靠性测试的完整方案。