软件可靠性及其评估

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

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

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

软件可靠性预计与评估方法探讨

概述了软件可靠性的重要性及预计评估、参数估计方法和数据收集的意义与过程;综述了国外软件可靠性模型的建立情况;最后应用作者开发的软件可靠性预计评估程序(SRPP)对一组数据进行可靠性计算,给出软件可靠度R(t)、MTTF及故障率或故障强度λ(t)等指标;并根据模型有效性的比较准則,对计算结果进行了比较。     

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

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

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

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

Eurocat—X软件可靠性建模分析及预测

根据软件可靠性的建模过程对Eurocat—X软件的失效数据进行分析。通过非线性回归方法估计模型参数,比较3种模型的拟合度,得出最适用于该软件的可靠性模型．并预测其软件可靠性。     

空管自动化系统软件可靠性的多层次灰色综合评价

通过对影响空管自动化系统软件可靠性因素的分析，构建了空管自动化系统软件可靠性的指标体系，运用多层次灰色综合评价方法建立了该系统软件可靠性的多层次灰色综合评价模型，最后通过实例分析对空管自动化系统软件的可靠性进行了客观的评价，证明了该模型的可行性和有效性。     

陆基巡航导弹发射系统控制软件可靠性分配仿真

软件可靠性分配是软件可靠性工程中一项重要的设计技术。本文针对陆基巡航导弹发射系统控制软件的功能特点，对其可靠性分配过程进行了数学仿真实验。经分析实验输出数据发现，结果是合理的。     

软件可靠性探讨

航空机载设备无论是在产品研制过程中还是在产品维修的设计制造过程中,软件的可靠性都变得越来越重要。本文系统阐述了软件开发过程（研制和维修）中的一般可靠性活动,并提出了一些提高软件可靠性的途径。     

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

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

军用软件可靠性策略研究

在分析影响军用软件可靠性因素的基础上，借鉴能力成熟度模型(CMM)过程规范思想，提出了一套完整的军用软件可靠性解决策略，包括软件可靠性组织过程、软件可靠性管理过程、软件可靠性工程过程和软件可靠性支持过程，并概要描述了各个过程所涉及的技术和实现方法。     

固体火箭发动机可靠性设计系统的研究与实现

可靠性设计是固体火箭发动机设计中的一项重要工作,但长期以来这些工作主要依靠多个设计人员共同完成。为了实现固体火箭发动机可靠性设计自动化,本文首先结合固体火箭发动机可靠性设计的工程实际,提出了软件系统的主要功能,然后在总结工程实践中常用的可靠性分配、预计、评估等方法的基础上,确定了系统各模块的计算模型,最后采用C++Builder等软件开发工具,开发了固体火箭发动机可靠性设计系统。实践表明,该系统易于操作,便于工程应用。     

结构疲劳可靠性分析方法及工程应用研究

介绍了结构疲劳可靠性分析方法及工程应用研究情况,对选定的6个考题分别用应力严重系数法和DFR法进行了疲劳寿命估算和可靠性分析。寿命计算结果与文献2中的计算结果和试验结果吻合较好。结合以往大量实际飞机结构的应用考核验证,充分证明这种疲劳可靠性寿命估算方法计算结果可信,适合工程应用。     

航天中心软件的一个领域工程方法和模型

软件复用被视为提高软件开发效率和产品质量的有效途径。研究和实践表明，针对特定领域的软件复用容易取得成功。本文给出了一个基于UML2．0和体系结构视图、针对航天中心软件特点的领域工程建模方法，具体分析和设计了相应的一系列领域工程模型，它们可以成为航天中心软件复用的“核心资产”，为未来的各个应用系统开发提供有力支持。     

Software defect prevention based on human error theories

Software defect prevention is an important way to reduce the defect introduction rate.As the primary cause of software defects,human error can be the key to understanding and preventing software defects.This paper proposes a defect prevention approach based on human error mechanisms:DPeHE.The approach includes both knowledge and regulation training in human error prevention.Knowledge training provides programmers with explicit knowledge on why programmers commit errors,what kinds of errors tend to be committed under different circumstances,and how these errors can be prevented.Regulation training further helps programmers to promote the awareness and ability to prevent human errors through practice.The practice is facilitated by a problem solving checklist and a root cause identification checklist.This paper provides a systematic framework that integrates knowledge across disciplines,e.g.,cognitive science,software psychology and software engineering to defend against human errors in software development.Furthermore,we applied this approach in an international company at CMM Level 5 and a software development institution at CMM Level 1 in the Chinese Aviation Industry.The application cases show that the approach is feasible and effective in promoting developers' ability to prevent software defects,inde pendent of process maturity levels.     

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

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

Reliable flight performance assessment of multirotor based on interacting multiple model particle filter and health degree

Multirotor has been applied to many military and civilian mission scenarios. From the perspective of reliability, it is difficult to ensure that multirotors do not generate hardware and software failures or performance anomalies during the flight process. These failures and anomalies may result in mission interruptions, crashes, and even threats to the lives and property of human beings. Thus, the study of flight reliability problems of multirotors is conductive to the development of the drone industry and has theoretical significance and engineering value. This paper proposes a reliable flight performance assessment method of multirotors based on an Interacting Multiple Model Particle Filter (IMMPF) algorithm and health degree as the performance indicator. First, the multirotor is modeled by the Stochastic Hybrid System (SHS) model, and the problem of reliable flight performance assessment is formulated. In order to solve the problem, the IMMPF algorithm is presented to estimate the real-time probability distribution of hybrid state of the established SHS-based multirotor model, since it can decrease estimation errors compared with the standard interacting multiple model algorithm based on extended Kalman filter. Then, the reliable flight performance is assessed with health degree based on the estimation result. Finally, a case study of a multirotor suffering from sensor anomalies is presented to validate the effectiveness of the proposed method.     

Reliability estimation of rotary lip seal in aircraft utility system based on time-varying dependence degradation model and its experimental validation

With several attractive properties, rotary lip seals are widely used in aircraft utility system, and their reliability estimation has drawn more and more attention. This work proposes a reliability estimation approach based on time-varying dependence analysis. The dependence between the two performance indicators of rotary lip seals, namely leakage rate and friction torque, is modeled by time-varying copula function with polynomial to denote the time-varying parameters, and an efficient copula selection approach is utilized to select the optimal copula function. Parameter estimation is carried out based on a Bayesian method and the reliability during the whole lifetime is calculated based on a Monte Carlo method. Degradation test for rotary lip seal is conducted and the proposed model is validated by test data. The optimal copula function and optimal order of polynomial are determined based on test data. Results show that this model is effective in estimating the reliability of rotary lip seals and can achieve a better goodness of fit.     

靶场测控通信系统可靠性分析

首先确定了测控通信系统可靠性分析框架，然后针对系统构型为串并联系统、试验信息为成败型数据／寿命型数据的情况，研究了可靠性信息融合的Bayes方法，最后讨论了系统可靠性的Bayes统计推断问题，包括点估计、置信估计和假设检验。     

航天飞控软件操作概图开发

航天飞控软件是具有高可靠性要求的软件系统,对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂,使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例,介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式,并确定每个操作模式所运行的相关软件;然后给出了识别每个软件的操作发起者和操作方法;最后对不同类型的操作给出了确定其发生概率的方法。