四级阶梯式软件可靠性设计方法研究

介绍了软件错误、软件缺陷、软件故障和软件失效的演变过程,提出了相应的四级阶梯式软件可靠性设计方法,即避错设计、查错设计、纠错设计和容错设计方法。该方法从软件错误的产生到失效的演变过程出发,强调尽早地截断软件错误,使其不向更严重的方向发展。该方法可以从根源上提高应用软件的可靠性。     

单片机抗干扰及可靠性设计

要保证系统长期稳定可靠的工作,系统避错设计和容错设计尤为重要,力图从硬件和软件两个方面讨论单片机系统可靠性设计中避错设计技术和容错算法,推出人性化产品,提出了针对人环境特性采取的可靠性措施。     

容错软件生成系统─FTSGS

在软件开发过程中采用避错设计、查错设计和容错设计技术是提高软件可靠性的基本途径。这里介绍了一种采用多个软件模块自动生成技术进行可靠性设计的系统。其主要功能是定义软件开发过程,指导、控制以使软件开发自动化。其目标是提供一个基于面向对象方法学的、高可靠性的软件开发平台。     

民用无人机飞行控制器可靠性设计

可靠性是无人机飞行控制器首要的性能要求，文章在民用摄像无人机飞行控制器系统设计中采用了避错与容错并重的设计思路。详细介绍了具体的软、硬件可靠性保障措施，提出了机内自检测系统的构成与实现方案，并介绍了故障分析在保障飞机安全时所起的作用。实际应用表明，所采用的设计思路、保障措施和自检测方案能有效提高飞行控制器的可靠性、保障无人飞机的安全。     

软件可靠性设计方法研究

研究了软件可靠性设计方法,软件需求分析是研制高可靠性软件的前提和基础,软件可靠性设计包括软件体系架构设计、冗余设计、健壮性设计、容错设计、避错设计、错误恢复设计及重用设计等.通过专业复杂网管软件的研制实例,初样评审测试、正样评审测试及软件测评的千行代码缺陷密度证明了在软件开发过程中运用可靠性设计方法,可以提高软件的质量...     

容错计算技术

计算机系统的可靠性一直为人们所关注。早期由继电器和真空管构成的计算机经常不能正常工作。随着人们对计算机依赖程度的不断提高，系统的可靠性就显得更为重要。提高计算机的可靠性有避错和容错两种方法。避错实际上是不容错的，乃是保守设计方法的产物，它以采用高可靠性零件、优化路线等质量控制管理的方法，来减低出错的可能性，但即使是最仔细的避错设计，故障也总有一天会出现，从而导致系统失效。容错是指在硬件或软件故障产生的情况下，仍能将指定的算法准确地完成，同时不使性能降低，即用冗余的资源使计算机具有容忍故障的能力。…     

高可靠性的嵌入式软件现场更新方法

针对传统嵌入式软件更新方法的不足,提出了一种高可靠性的嵌入式软件现场更新方法,通过读取SD卡上的更新文件来更新嵌入式设备的Flash分区,从而实现设备软件的更新。该方法在保证快速更新功能的前提下,采用更新文件兼容性避错检测、双Bootloader设计、更新文件验证及软件异常处理机制,有效提高了软件的避错、容错性能。通过Nelson模型可靠性评估及其在产品中的应用,证明该更新方法具有高可靠性。     

高可信计算机系统的设计方法探讨

本文将高可信计算机系统的设计过程分为四个阶段,分别讨论了各阶段中用于获取系统可信性的容错技术、避错技术和可信性评价技术的应用。     

提高ADA可重用程序部件可靠性的两种方法

建立可重用程序部件库是克服“软件危机”,提高软件生产效率的有效途径之一。主要从避错方法和容错技术两方面入手,详细阐述了提高ADA可重用程序部件可靠性的方法。     

基于模块化的容错技术在测控系统软件开发中的应用研究

软件开发中可以通过模块化的方法提高代码的重用率,但不同系统调用相同的模块,将使得各系统发生共同故障的可能性大大增加.为提高软件的可靠性,将容错技术引入到模块化方法开发的测控系统软件中,根据测控系统自身的特点,从数据、操作、硬件及软件四个方面讨论了软件开发中的避错、容错方法.在我们所研制开发的驱动桥综合性能实验台软件系统开发中的应用表明,该方法在提高代码重用率,降低开发周期的同时,也显著提高软件系统的可靠性.     

基于UML的指挥控制软件开发建模研究

指挥控制是C3I系统的核心功能,指挥控制软件的开发是C3I系统开发的关键。应用UML对指挥控制软件进行开发,能有效地增进各类人员之间的交流,提高软件的一致性和可重用性,并降低风险。该文首先简要介绍了UML技术及其在开发应用程序中的一般框架,并以此为依据,使用UML对指挥控制软件开发进行建模,给出了基于UML的指挥控制软件的分析阶段描述。     

一种内嵌软件传感器的双软总线体系结构研究

航空软件的逻辑结构和系统规模日趋庞大,软件可靠性保障已成为新一代航空电子综合化领域的研究热点;针对实时软件的状态监控与故障诊断问题,提出了一种基于构件技术的双软总线风格体系结构,采用面向对象方法予以建模,构建该体系结构的静态框架和动态行为,并探讨了软件传感器采集监控对象实时状态的详细设计;以某惯导系统软件为例,对双总线体系结构进行扩展和应用,实例说明了该体系结构有助于使可靠性保障软件的框架定义更加清晰,易于实现。     

一种改进的基于架构的软件可靠性模型

基于架构的软件可靠性分析往往把构件的可靠性当作自身固有不变的属性,忽略了在不同的输入剖面下,因构件所处的交互环境不同造成的实际可靠性的变化。改进了一种基于架构的可靠性模型,引入转移目的构件剖面矩阵来建立系统操作剖面和构件可靠性的联系,并给出了改进后的可靠性合成算法。实例分析表明,该模型可以全面捕捉到在不同系统操作剖面下,因构件之间转移概率和构件可靠度这两个参数的变化对整体可靠性产生的影响,提高了系统设计阶段可靠性分析的精确性。     

离散型软件可靠性验证测试方案研究*

目前,国内外相关研究大多集中于以MTBF/MTTF等时间相关指标作为可靠性参数的连续型软件,而对以成功率等非时间相关指标作为可靠性参数的离散型软件的可靠性验证测试研究则比较少见。因此,针对三种重要的离散型软件可靠性验证测试方案进行详细的分析与比较,并从标准层面上对这三种方案的实施方法与技术细节进行改进,从而为离散型软件可靠性验证测试的开展与实施提供必要和有效的指导。     

单片机应用系统的可靠性设计

首先简要地介绍了单片机应用系统可靠性的重要性,并分别给出了硬件可靠性、软件可靠性的概念及其区别。然后分别阐述了影响系统可靠性的因素及其提高系统可靠性4个方面的对策:影响硬件方面的因素及对策;影响软件方面的因素及对策;进行包括软、硬件的系统测试;使用软件开发工具进行开发全程的管理。     

计算机软件的可靠性设计研究

软件可靠性随着科学技术的逐渐进步已成为我们需要关注的一个问题,软件系统的可靠性随着其规模的加大就会变得越发难以保证。应用本身对系统运行可靠性的要求逐渐增高,尤其是在如航天、航空等一些关键的应用领域,对其可靠性的要求就更加重要,软件系统的可靠性在银行等服务性行业中也和其自身的生存发展竞争能力和声誉有着直接的关系。本文对软件可靠性设计的基本概念进行了介绍,并且对软件可靠性设计方法着重进行了介绍。     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

基于结构的软件可靠性建模研究进展

软件体系结构作为提高软件系统质量、支持复杂软件开发和复用的重要手段,已经成为软件工程的一个重要研究领域,软件结构的研究对软件可靠性度量也带来的新的问题。分析和总结近年来基于软件体系结构的可靠性建模方法,并对其今后若干研究方向进行了探讨。     

Software Errors and Software Maintenance Management

A management model for explaining software errors is developed and estimated. The model is used to analyze two years of error log data at a commercial site. The focus is on identifying managerially controllable factors which affect software reliability. At the research site, application systems which (1) underwent frequent modification; (2) were maintained by programmers with low levels of application experience; (3) had high reliability requirements, and (4) had high levels of static complexity all showed particularly high error rates, other things being equal. It is suggested that that managers can make quantified judgements about the degree to which they wish to reduce error rates by implementing a number of procedures, including enforcing release control, assigning more experienced maintenance programmers, and establishing and enforcing complexity metric standards.     

软件可靠性工程框架和评估系统实现

给出了软件可靠性工程的实施框架,它规范了软件可靠性评估的过程.文章还提出一个软件可靠性评估系统的体系结构,并给出了实现所需要的一些关键技术.已经依此实现了一个软件可靠性评估系统CaSoR(Computer aid Software of Reliability),并已经被实际