军用嵌入式软件的可靠性分析

论述了军用软件的特点,对软件可靠性的性质和特征进行了具体分析,提出了提高军用软件可靠性的方法.     

基于神经网络的直升机可靠性预计

本文基于人工神经网络技术,利用现有军用直升机与可靠性相关因素的评分值和它们的可靠性参数值(MTBF),建立基于神经网络的军用直升机可靠性预计模型。经过检验表明,这种基于神经网络技术的可靠性预计方法为新机研制提供了一种有效可行的可靠性预计方法。     

中航工业综合技术研究所软件可靠性与测评中心顺利通过总装军用实验室现场评审

<正>中航工业综合技术研究所软件可靠性与测评中心经过一年的筹建和运行,于2010年8月24日,迎来了总装备部技术基础管理中心的军用实验室认可现场评审。此次现场评审组由解放军指挥自动化软件测评认证中心     

软件可靠性之定量评估方法研究

基于对多种软件可靠性模型的分析,并结合工程软件之特点,提出一种工程软件适用的可靠性定量评估方法,并将其应用于某航天工程软件的可靠性评估。实践表明,本方法简单、可行,对其它领域的软件可靠性评估同样具有参考价值。     

软件可靠性现状及展望

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

软件可靠性控制及关键环节

以实例和统计数据说明了软件可靠性的重要性 ;阐述了软件可靠性的有关概念 (如软件工程、软件寿命分布、软件可靠性验证、软件过程等级等 ) ;介绍了软件方案设计阶段可靠性设计工作的主要内容和软件可靠性设计的主要措施 ,以及保证软件可靠性的几个关键环节。     

全国军用标准文献数据库管理系统简介

本文从便于用户检索军用标准文献的需要出发,概述了我国已建成的军用标准文献数据库系统的硬件及软件配置,数据库中两万多条记录的来源、著录格式;介绍了军用标准文献数据库管理系统的功能、性能和特点及进一步完善、发展该系统的设想。     

软件可靠性测试数据生成方法研究

阐述了构造非实时软件运行剖面的方法,以及根据运行剖面生成非实时软件可靠性测试数据的方法,并提出了构造实时软件运行剖面和生成实时软件可靠性测试数据的思路。最后给出实例,系统地演示非实时软件可靠性测试数据的生成过程。     

软件可靠性设计在机电管理系统软件中的应用

阐述了实施软件可靠性设计的必要性、软件可靠性设计和分析的主要技术,以及软件可靠性设计和分析技术在机电管理系统软件中的具体应用。     

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

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

航空发动机MTBF的Bayes评估

针对航空发动机的试验样本量和故障数据少,采用传统的数学平均值法对其平均故障间隔时间（MTBF）评估不能反映其真实可靠性水平的问题,基于Bayes理论,把历史试验数据视为先验信息,采用矩等效方法确定先验分布,然后通过Bayes理论综合现场试验数据,建立了一种基于Bayes理论的航空发动机MTBF评估方法。该方法可以扩大MTBF评估所需的信息量。采用所提出的Bayes方法对某航空发动机MTBF进行评估,得到其MTBF评估值为302.68h,比采用数学平均值法约提高了18.7%,评估结果更符合实际。表明该方法可应用于航空发动机MTBF的评估。      

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

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

国外可靠性设计及管理的某些动向

自1957年6月美国电子设备可靠性咨询组(AGREE)发表《军用电子设备可靠性报告》至今,可靠性工程已从军事应用向民用领域、从电子工业向机械等其它工业、从硬件向软件方面发展,成为降低产品寿命周期费用、提高经济效益的有效工具。     

对军用软件维护标准更新的探讨

分析了军用软件维护的需求,提出了GJB 1267-1991《军用软件维护》的修订原则,可使软件维护工作的规范化,并完善软件售后技术服务内容和软件的更新升级等,提高软件维护质量。     

第十届中国国际航空航天博览会在珠海举行

<正>2014年11月11日至16日,第十届中国国际航空航天博览会在珠海举行。中航工业研发的多种军用装备,例如运-20大型军用运输机、空警-2000和空警-200预警机等参加了飞行表演。在静态展区,中航工业展出了一种与美国C-130同级别的军用涡桨运输机模型。"翼龙"、"枭龙"、"山鹰"等型号也同时亮相本届航展。航展首日,中航工业为其全新研制的AC3X2先进轻型双发民用无人机举行隆重的揭幕仪式。AC3X2是中航工业自主创新研制的3吨级直升机,第一架试验样机将于2018年首飞。中航工     

西安卫星测控中心的软件过程改进实践

为了提高航天测控软件的开发效率,保证软件产品质量,西安卫星测控中心启动了基于GJB 5000-2003 2级等级的软件过程改进工作,并于2008年通过了军用软件研制能力2级正式评价。本文介绍了西安卫星测控中心的软件过程改进实践,阐述了软件过程改进实践中取得的经验体会。     

Vibro-Meter公司的航空产品

振动测量仪(Vibro-Meter)公司创建于1952年,位于瑞士的弗里堡。这家公司从60年代中期开始从事飞机发动机振动监控系统的研究。由于采用压电式加速度计测振,以及自行研制满足军标的连接器和低噪声连接电缆,并发展了跟踪滤波器,振动监控系统的平均故障间隔时间(MTBF)从几百小时提高到数千小时,已用在波音、麦道和空中客车公司生产的大型民航机上,包括A330/340、MD-11、波音737-300/400/500、     

安全关键软件可靠性验证测试研究

针对现有的安全关键软件可靠性验证方案与可靠性验证测试加速过程进行分析和总结,提炼出每一种方案和加速过程的内容与适用范围,从而帮助软件可靠性测试人员能有效地选择最为合适的可靠性验证测试方案与加速过程。从而提升软件可靠性验证测试的工程应用能力,确保安全关键软件的可靠性水平。     

机载计算机软件的测试

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

软件容错及一个N文本容错系统的实现

软件容错是提高软件可靠性的重要方法之一。我们可以认为软件可靠性提高技术有两种:容错技术与非容错技术。非容错技术是应用各种方法使软件不舍错误,即力求使软件在成为产品以前达到完美无缺,软件说明书设计、结构设计、软件测试等避错、除错方法都属于非容错技术。可是随着计算机的应用领域越来越广。软件越来越复杂。而人的思维是有局限性的,因而软件设计的缺陷是不可避免的。同时软件的复杂性又决定了我们不可能进行软件的“穷举测试”。因此对要求高可靠性的系统,仅仅用非容错方法是不够的。如核反应堆系统、飞行控制系统、航空专业应用。都必须采用容错技术来进一步提高其可靠性,因为容错软件可以系统发生错误的情况下,保证系纯正常运行。