摘要：随着机载电子设备的快速发展,机载嵌入式控制软件实现的功能更加复杂、软件规模越来越大,软件可靠性设计越来越受到人们的关注。故障树是系统可靠性分析的主要方法,文章基于机载嵌入式控制软件的特点,将故障树分析方法应用于机载嵌入式控制软件可靠性设计。

摘要：航行控制中心软件系统是UUV的控制核心,其可靠性水平关系到UUV自身的安全、任务成功率及可靠性。本文介绍了航行控制中心软件可靠性设计措施,实际应用表明所采用的应对措施可有效提高航行控制中心系统软件的任务成功率,提高了UUV的可靠性。

摘要：本文分析了星（船）载嵌入式软件可靠性设计的现状及存在的问题，从软件工程和软件可靠性设计及软件测试三个方面论述了如何提高航天嵌入式星（船）载软件的可靠性。

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

摘要：简述软件可靠性与安全性的概念及其重要性，分别介绍软件在可靠性设计和安全性设计上常采用的方法。详迷软件可靠性与安全性设计在各个研制阶段的要求与实施情况，包括需求阶段、设计与实现阶段和测试阶段，以及其它与可靠性、安全性相关的内容。介绍软件可靠性与安全性的研制经验，包括过程管理、交付后的程序复查。

摘要：针对嵌入式系统软件可靠性设计中存在的失效问题,从可靠性的概念和特点入手,将“3F”技术—故障模式影响及危害性分析FMECA,故障树分析FTA和故障报告、分析与纠正措施系统FRACAS引入到软件可靠性定性分析中,称之为“3SF”技术。深入研究了3SF技术在软件可靠性定性分析中的应用,给出软件FMECA和FTA分析实例,并对将两者与软件FRACAS的结合作了研究。

摘要：当前航天器控制软件的复杂度越来越高,软件的规模十分庞大,对软件可靠性安全性要求极高,因此对航天器控制软件的可靠性设计和度量具有重要意义.介绍和分析适用于航天器控制软件的可靠性设计方法,并结合某型号给出实际的软件设计以及可靠性度量的具体实例.

摘要：计轴设备是检查区间线路、站内股道、道岔、平交道口区段占用或空闲状态的安全设备。其作用与轨道电路等效。应用计轴设备检查区间时,在区间两端各设计轴点,通过核对进入区间的轮轴数与离开该区间的轮轴数判定区间状态,两数相等时表示区间空闲,两数相异表示区间占用。 JZ型计轴设备由一台上位机(或称主机)

摘要：为提高星载软件的可靠性,针对某星载软件的特点,讨论了开展软件可靠性工程的实施框架和过程,分别从软件可靠性设计、分析、度量和测试四个方面进行了总结和评述。重点论述了软件可靠性设计准则,软件故障模式及影响分析和软件故障树分析技术的特点,软件可靠性度量的选择方法,以及软件可靠性测试的评估规程和可靠性模型的选择方法,并给出了技术应用的结果,证明了这些方法的可行性和适用性。

摘要：阐述软件可靠性工程的概念、发展历程和主要内容;跟踪软件可靠性工程研究和实践的现状与热点问题;分析软件可靠性工程研究和实践过程中存在的主要问题,研究解决的对策;预测软件可靠性工程研究和实践的发展趋势,展望其发展前景及未来的热点领域。