微处理机系统可靠性与软件容错技术

本文分析了微处理机系统的可靠性问题,给出了系统可靠性的评价方法和提高可靠性的有效途径,讨论了软件容错技术并结合实例介绍了软件容错的设计方法。实验表明,系统增加了软件容错技术后能大大提高抗干扰能力,降低系统的故障率。     

Fault-tolerant Strategies and Their Design Methods for Application Software

The key to software reliability is fault-tolerant design ofapplication software.New fault-tolerant strategies andtheir design methods for application software under vari-ous computer system are introduced.It has such advan-tages as simple hardware platform,independent fromapplication,stable reliability.lastly,some technicalproblems are discussed in details.     

基于NHPP模型的联锁软件可靠性评估

基于软件可靠性工程思想,深入分析了NHPP软件可靠性建模的原理,并利用NHPP模型对处于开发后期阶段的铁路信号计算机联锁软件进行可靠性评估.通过建模评估,得出了联锁软件可靠性水平的定量分析结果,为计算机联锁系统开发的管理和决策提供了科学依据.     

Component-based software reliability process simulation considering imperfect debugging

In view of the flaws of component-based software （CBS） reliability modeling and analysis, the low recognition degree of debugging process, too many assumptions and difficulties in obtaining the solution, a CBS reliability simulation process is presented incorporating the imperfect debugging and the limitation of debugging resources. Considering the effect of imperfect debugging on fault detec- tion and correction process, a CBS integration testing model is sketched by multi-queue muhichannel and finite server queuing model （MMFSQM）. Compared with the analytical method based on pa- rameters and other nonparametric approaches, the simulation approach can relax more of the usual reliability modeling assumptions and effectively expound integration testing process of CBS. Then, CBS reliability process simulation procedure is developed accordingly. The proposed simulation ap- proach is validated to be sound and effective by simulation experiment studies and analysis.     

相异性容错软件故障模型

针对容错计算领域中由于引入了相异性设计概念,导致传统软件失效模式难以应用的问题,提出了一个用于分析相异性容错软件故障的模型。模型根据各类软件设计故障对系统可靠性的影响,精确定义了相异性容错软件系统中故障的范畴及其划分、以及与系统失效之间的关联关系,在此基础上建立了一个基于功能的故障模型,以描述相异性软件系统的可靠性关系。通过一个通用相异性软件系统为实例,应用故障模型分析了系统可靠性关联关系,建立了与之相对应的故障模式及其可靠性模型,验证了故障模型的实用性。     

容错技术及其在电力机车测控系统中的应用

本文对过程控制中的容错技术进行了研究,介绍了容错过程控制的基本思想,从控制系统的硬件和软件两个方面,分析了利用容错技术提高控制系统的可靠性的措施和方法。最后,把容错技术应用于电力机车LCU设计。结果表明,容错设计可有效地提高机车控制的安全性和可靠性。     

数据的可靠性和软件容错系统的实现

指出了保障计算机数据可靠的重要性，并针对计算机数据的特性和在不同系统中的应用，分析了保证计算机数据可靠性的可行性解决方案。最后，以Sentinel系统为例，介绍了软件双机容错系统的实现方法。     

一种基于模糊综合评判的软件可靠性模型选择方法

软件可靠性模型是可靠性工程的一个重要方面，如何缺乏可靠性数据的情况下，选择合适的软件可靠性模型是对软件可靠性进行量化分析的关键，在对影响软件可靠性模型的因素进行分析的基础上，采用模糊数学的理论，提出了一种基于模糊综合评判的软件可靠性模型选择方法。     

Machine Tool Fault Information Management System Softw are Development

In order to collect failure data conveniently and reserve reliability research data,the data collection software,the machine tool fault information management system, was developed. The method to computer numerical control（ CNC） machine tool reliability data collection was introduced. Through designing the form and applying SQL Server 2008 as the database and Visual Studio 2005 as the development platform,establish the database,develop the software based on the early stage work,and realize the comprehensive statistical information, laying the foundation for further data analysis.     

容错BITBUS总线及其在列车超速防护系统中的应用

在现有 BITBUS 总线的基础上提出了容错 BITBUS 总线结构,使网络真正成为简单、廉价而又可靠的串行通讯系统,然后着重论述了这种总线在列车超速防护系统中的应用.     

面向飞行控制系统应用的容错计算机系统设计

在设计飞控计算机时采用了冗余技术(4余度容错计算机)，保证系统实现人以两次故障工作，三次故障安全(fo／fo／fs)．采用完善的余度管理技术和余度表决监控算法，进行故障的隔离定位和屏蔽，飞控计算机采用多速率任务调度策略，保证了系统的实时性．作者详细地描述了该容错计算机的软件／硬件设计结构、系统调度策略和余度管理算法，     

多校验点容错软件的可靠性研究

本文基于可恢复块程序法,建立了多校验点方法(并串型)的可靠性模型,并推出了若干性质。通过深入分析得出这样的结论:软件容错的效果不仅与冗余软件个数有关,而且与接受测试AT的可靠度有至关重要的关系。     

寿命服从极小值分布的MIS的软件可靠性分析

在管理信息系统（MIS）开发过程中，对MIS软件进行截尾寿命测试，收集其故障数据。应用可靠性统计方法，对寿命服从极小值分布的MIS软件，建立最大似然方程的参数迭代法。给出了各种可靠性指标公式，并用实例计算验证。     

GO法与故障树可靠性建模的比较研究

ＧＯ法与故障树（ＦＴＡ）是两种不同的系统可靠性分析方法,二者在建模的方法上存在明显差异⒀通过实例对ＧＯ法和ＦＴＡ的建模进行了比较,分析了二者之间的异同点,并进一步说明了两种方法各自的使用范围和优缺点⒀ＧＯ法是以成功状态为导向, 从系统能够正常运行或信号流能正常通过的状态中得到系统的模型; 而ＦＴＡ正相反, 它是以故障状态为导向, 在系统故障状态下逐级查找造成系统故障的原因,从而得到系统的模型⒀与ＦＴＡ相比,ＧＯ法具有模型结构紧凑,易于修改、核实等优点, 同时对于分析多状态、有时序和流程性系统的可靠性具有独特的优势     

车辆可靠性数据管理与分析系统

根据车辆可靠性信息管理需求,提出了车辆可靠性数据管理与分析系统(VRDMAS)的体系结构,基于可靠性分析软件Relex,采用SQL server 7.0数据库软件和Delphi 6.0应用开发工具,完成了VRDMAS的设计与开发,实现了系统的管理与分析功能,解决了一般数据库系统分析功能欠缺、专用可靠性软件机械零部件库数据缺乏的问题.实例考核表明,VRDMAS系统既有良好的可靠性数据管理功能,又有较强的可靠性分析功能,满足了车辆可靠性信息管理及分析的实际要求.     

Component-based software reliability analysis incorporating imperfect debugging and change-point

Against the deficiencies of component-based software （CBS） reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point （CP） problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model （MMISQM） is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.     

基于UML的软件可靠性建模

标准的UML方法对软件质量部分如何建模是缺乏的,由此本文研究了针对软件可靠性建模和评估的UML剖面,它是基于标准UML元模型的扩展,能对系统中影响软件可靠性的因素建模;同时研究了此模型应用于传统的可靠性评估技术中的一些结论;此模型有助于贯穿软件生命期的软件可靠性工程,以提高待开发软件的可靠性指标.     

一种即时纠正和延缓纠正混合的可靠性增长模型

考虑及时纠正和延缓纠正相结合的可靠性增长规划方式,采用纠正有效性系数的加权平均,并引入排错效率函数,提出一种软件阶段可靠性增长的模型.给出软件在试验阶段内各个时刻的瞬时失效率估计值的表达式和下一个试验阶段初期可靠性水平的预测值,并用一组数据作为示例,验证模型的有效性和实用性.     

基于Vxworks的DP 3动力定位 控制系统设计与分析

为了满足深海油气资源开发对动力定位系统可靠性的需求,根据船级社对附加标志为DP 3动力定位系统的规范要求,在Vxworks实时操作系统下设计了三模冗余的动力定位控制系统.基于PC104总线设计了冗余动力定位控制系统的硬件体系结构. 采用软件实现了三模冗余实时控制计算机组的控制解算与容错管理.应用马尔可夫过程对所设计的DP 3级动力定位控制系统进行了可靠性分析,预测了不同的硬件故障参数对DP 3动力定位控制系统可靠性的影响.分析结果表明,所设计的DP 3动力定位控制系统具有较高的可靠性.     

改进的Jelinski-Moranda软件可靠性增长模型

Je linsk i-M oranda(J-M)模型是基于失效间隔时间的较理论化的可靠性增长模型,用于软件系统测试阶段的可靠性度量。J-M模型存在的问题是假设条件理想化,实际应用环境难以满足,而且模型的失效间隔时间数据收集很困难,实用性差。该文提出一种改进的J-M可靠性增长模型,在J-M原模型基础上改进并引入更加合理的假设条件,改进后的模型基于缺陷计数,数据收集更容易。结合盐湖城奥运会信息系统软件测试数据对改进的模型进行检验,证明改进的模型预测有效性好,同时还保持了原模型的简单性。