平台罗经微机的软件可靠性设计

平台罗经微计算机是用于平台罗经系统的实时控制微机。本文分析了影响平台罗经微机工作可靠性的主要因素,并讨论了提高系统可靠性的软件设计。这些设计思想和方法对一般实时控制微机具有一定的参考价值。     

工控计算机软件抗干扰技术

本文提出了实时控制软件的自监视法，互监视法和常用方法等等一系列软件抗干扰技术。     

构件软件系统的可靠性评估模型简介

对构件软件系统可靠性评估模型作了简要介绍．构件软件系统可靠性评估应考虑的问题包括构件的可靠性、构件软件系统的可靠性和运行剖面对构件软件系统可靠性的影响等．在分析了有关模型的基础上,指出了该领域研究中存在的一些问题,并对今后的研究方向提出了一些建议．     

中厚板轧制信息采集与操作指导系统

分析中厚板轧制信息采集与操作指导系统的基本功能及其在数据处理软件方面的特色，并介绍了系统在板坯翘曲实时控制方面的应用情况。     

基于模型的软件开发技术在型号软件研制中的应用

软件的安全性和可靠性对于军用软件是至关重要的,而软件的开发模式对软件的安全性影响很大,通过阐述了基于模型的开发技术,并在型号软件建模中进行了应用。结果证明,软件的安全性和可靠性得到了较大提高。     

构件对软件构架可靠性作用的分析

通过使用基于构架的软件可靠性模型对软件构架的可靠性进行了估算和分析,探讨了在软件构架中如何快速判断哪个构件对整个软件构架的可靠性影响较大或较小.同时,给出了判断的一般思路,并提出了如何进一步提高判断准确度的若干可行方案.     

可进化模块冗余软件混合容错模型

为提高软件的可靠性和生存能力,该文提出一种基于进化计算的可进化模块冗余软件混合容错模型.分析了模块化对可靠性的影响,根据程序局部性原理,将模块分为核心模块和一般模块,采用对核心模块进行软件冗余、对一般模块进行时间冗余的混合冗余方法,在降低冗余规模的同时减少对软件性能的影响;实验结果表明,该文可进化模块模型能有效提高软件的可靠性和生存能力.     

调制解调器在长距离胶带机集散控制系统中的应用

文章论述了Hayes2400型调制解调器在长距离胶带机集散控制系统中的工作原理及软件配置，以及其构成集散控制系统进行实时控制的程序设计，介绍了采用差错控制的具体做法。实际应用证明，该调制解调器保证了远距离数据通讯的可靠性，对于集散控制系统的网络通信以及集散式工业实时控制具有现实意义。     

微机保护可靠性的探讨

微机的广泛应用,使得其保护的可靠性更加值得关注,影响微机保护可靠性的的因素主要有硬件、软件和运行维护水平,本文通过分析,从抗干扰、原价损坏、软件和运行维护等方面针对性的对微机保护可靠性进行了探讨。     

基于缺陷分析与测试评审的软件可信性评价方法

该文提出一种软件缺陷分析与软件测试评审相结合的可信评价办法,用于在软件开发周期中量化评估软件可信性。本方法将软件可信性定位在正确性、可靠性、容错性、安全性、隐私性,以软件缺陷入手,评估软件的安全性、隐私性、容错性;以扩展软件测试入手,评估软件的正确性、可靠性;通过这5个素的评估,最终考量软件的可信性。通过这种方法,从以上5个维度对软件可信性进行量化评价,并发现设计初期引入的缺陷,提高了软件开发的质量和效率。     

软件测试与软件可靠性之间的关系

根据软件可靠性理论，论述了软件测试和软件可靠性之间的关系，即根据给定的测试方法和测试时间来计算软件的可靠性，首先分析了随机测试和软件可靠性之间的关系，然后根据软件可靠性的性质，研究了软件代码覆盖测试方法和软件可靠性之间的关系。     

Exploration of Complexity in Software Reliability

Traditionally, timing and the failure rate are the only two factors considered in software reliability formula, which is actually incomplete. Reliability should be redefined as a function of software complexity, test effectiveness, and operating environment. This paper focuses on software complexity with its relation to the soft- ware reliability. Today, many software complexity measurements have been proposed, but most of them treat the reliability model incompletely. This paper proposes a new method which considers a relatively complete view of software reliability including its complexity and test effectiveness of the software being tested.     

基于体系结构的软件可靠性测评研究

针对传统高可靠性软件测评方法存在的问题,在分析基于体系结构测评重要性的基础上提出了基于软件体系结构的可靠性测评方法.将软件可靠性增长测试和软件可靠性验证测试有机统一起来,从模块级对可靠性进行控制,并提供可靠性先验信息.该方法有利于实现软件可靠性快速增长,有效减少测试用例量.     

软件可靠性及其模型

描述了软件可靠性的总况 ,并对具有代表性的Halstead模型、Jelinski Moranda模型、Littlewood Verrall模型、Cai模糊增长模型、Geol OkumotoNHPP模型以及超几何模型作了总体性论述 最后给出了软件可靠性面临的主要问题     

软件可靠性工程研究

从软件失效的不可避免性出发,提出了软件可靠性工程的概念。介绍了软件可靠性分析的方法、保证软件可靠性的工程方法和两种常用的可靠性设计技术。     

引信软件可靠性设计技术研究

该文提出基于引信软件特点的“严格控制时序、硬件合理布局、软件程序经济高效、高可靠度”的综合可靠性设计方法;运用冗余技术、查错设计、避错设计等技术进行引信软件可靠性设计,旨在进行引信软件可靠性设计的探索性研究。     

计算机软件可靠性模式设计

该文介绍、整理和分析了各类 用的软件可靠性分析模型（Ｒｅｌｉａｂｉｌｉｔｙ Ｍｏｄｅｌｓ）,周时也提出和阐述了作者研制的一套计算机软件可靠性辅助设计软件ＣＭＳＲＭ（Ｃｏｍｐｒｔｉｒ Ｍｅｄｉａｔｅｄ Ｓｏｆｔｗａｒｅ ＲｅｌｉａｂｉｌｉｔｙＭｏｄｌｉｎｇ）的设计与实现思想。ＣＭＳＲＭ可以用于有效地分析软件的可靠性模型ＣＭＳＲＭ是一个涵盖目前各灯现有之可靠性模型的分析工具,同时具备自动化或手工操作     

模糊可靠性分析软件的设计与实现

文章利用.NET平台和微软.NET战略中核心开发工具C#语言,基于模糊变量向随机变量变换的模糊可靠性分析模型和算法,开发了模糊可靠性分析软件,实现了模糊可靠性分析方法和随机可靠性分析方法的统一.对软件开发过程中所要解决的几个关键问题做了重点叙述,通过算例验证了软件的通用性和实用性,表明该软件可以用于复杂情况下可靠性分析.     

软件系统的可靠性分配模型及优化研究

本文着重研究基于架构的软件系统的可靠性分配模型以及相应的优化算法,以最少的成本创建具有最优可靠性的系统,不仅考虑了开发成本的最小化,而且优化了软件系统的可靠性。本文所提出的模型和算法对于降低软件系统开发成本、提高软件系统可靠性具有一定的理论参考价值,并且能够在软件开发之前对已经设计出的软件架构进行预评估,从而预测软件系统的开发成本并对软件可靠性进行优化分配,具有较高的实际应用价值。     

软件可靠性新模型研究(英文)

在讨论当前使用的软件可靠性模型存在的主要缺陷的基础上,提出了一个新的软件可靠性模型.当今应用模型中的可靠性假设条件并不考虑软件本身的复杂性、软件测试的有效性以及软件应用环境的完全性等要素,因此在评估软件可靠性时往往产生不精确的结果.为此将尽可能多的与被测软件可靠性评估有关的因素,结合到软件可靠性模型中去,使得对被测软件的可靠性模型更切合实际,因此使它更为精确.以一个实际的软件测试实验及对该软件进行的可靠性评估为实例,说明所提出观点和方法的合理性和可行性.