软件可靠性度量在航天控制软件中的应用

在软件开发中如何使用软件可靠性度量是航天软件开发过程中亟待解决的问题,为了解决这个问题,本文对11个软件可靠性度量在航天某型号控制软件中进行了应用,度量的结果验证了推荐出的软件可靠性度量具有可操作性和实用性。     

软件可靠性的量化问题讨论

在航天器中,随着软件数量的增多,软件可靠性问题日趋尖锐。软件可靠性不能只停留在定性分析阶段,要建立明确的可靠性指标,要通过全任务剖面建立起来的测试用例,对给定软件作长时间的测试和可靠性评价,以便展现软件可靠性不断增长的过程。本文介绍软件可靠性量化的方法,供软件研制者参考。     

软件可靠性与安全性工作要求综述

在航天、军事等领域中,硬件功能软件化、软件密集化已成为发展趋势。软件作为系统中的关键组成部分,其对系统的影响比重日益增大,如何保证软件的可靠性与安全性受到广泛关注。特别是当前型号中软件规模、复杂度、软硬件耦合程度大幅提升,对软件可靠性与安全性工作提出了更高的要求。本文在调研国内外有关标准的基础上,结合实际型号工程经验,对软件技术管理要求、不同阶段的可靠性与安全性工作要求等进行了系统总结,可为后续的软件可靠性与安全性设计、验证及管理等工作提供输入。     

型号软件可靠性和安全性设计标准化研究

通过编制国家军用标准《软件可靠性和安全性设计准则》的实践,概述了型号软件可靠性和安全性设计标准化研究的重要性,论述了其标准中的软件设计工作涉及到的软件需求分析、软件设计和软件实现等三个阶段需要特别注意的几个关键问题,而且均属于标准化范畴研究的问题。     

计算机软件可靠性质疑

从工程实际出发，讨论了目前一些大型软件系统开发中有关软件可靠性和维修性指标的问题，并提出了一些疑问，同时，提出了若干保证软件质量的建议。     

航天器软件可靠性增长模式研究与实践

基于航天器软件可靠性增长模式的研究,提出了航天器软件可靠性增长的概念和特点,系统阐述了一种适合航天器软件可靠性增长的模式和流程,探索性整合了SFMEA、SFTA、软件可靠性增长测试以及软件可靠性评估验证等多种方法和手段,将该增长模式应用在某型航天器设备软件可靠性增长项目上,并对其应用效果进行了总结。     

软件可靠性测试充分性工程技术研究

本文在阐述了软件可靠性测试的特点和影响软件可靠性的因素的基础上，提出了软件可靠性测试的充分性准则，结合工程实际，研究了可靠性测试环境、可靠性估计、可靠性测试验证方案，给出了将测试充分性准则用于可靠性测试的流程模型，为软件进行可靠性测评提供了方法。     

实时软件可靠性与软件测试方法

从工程应用角度讨论计算机实时软件的可靠性问题。阐述武器系统实时软件的特点和实时软件可靠性设计技术。介绍软件测试方法。     

一种基于模型的飞行控制软件可靠性分析方法

将软件可靠性参数估计的方法引入到航天自动控制领域,在探讨了模型可靠性指标选取原则和评价方法的基础上,提出了一种基于飞行控制软件可靠性模型综合分析的方法。     

趋向性分析在软件可靠性模型中的应用

软件可靠性是软件质量因素中最基本、最重要的质量因素。软件可靠性的定量评估主要是通过软件可靠性模型来实现的，软件可靠性模型的有限假设与软件及其故障数据的复杂的离散性，是两个客观存在的矛盾，这种矛盾的存在是造成软件可靠性模型定量评估不精确的主要原因。正基于此，本文提出了软件可靠性的趋向性分析，为在不同的条件和阶段下选择和使用软件可靠性模型提供了定量依据。     

基于改进的双指数模型的软件可靠性预测研究

研究软件可靠性模型是实现软件可靠性定量分析的前提。为克服传统演绎建模的局限性,采用指数平滑方法进行软件可靠性建模,分别建立了单指数平滑模型、双指数平滑模型。在分析单、双指数平滑模型的基础上,引入动态平滑系数,对双指数平滑模型进行了改进,并运用实际统计数据验证了其预测效果,结果表明模型具有较高的准确性和实时性。     

空管自动化系统软件可靠性建模分析及评估

由于计算机和信息处理技术在民航、航空航天领域的广泛应用,越来越复杂的软件系统已经大量存在于这些领域的科技工作和实际应用中。如何客观准确地评价这些软件产品的质量,尤其是软件可靠性,就显得非常重要。为了保证我国空中交通管制工作的安全进行,作为指挥枢纽的空管中心必须提供可靠的服务,不能有任何中断与故障发生,这就要求空管自动化系统必须具有绝对高的可靠性。     

从计算机系统角度分析软件可靠性

从硬／软件综合的角度对计算机进行可靠性研究具有非常重要的意义。本文作者对硬、软件相互作用进行了明确的划分和定义。并指出，是现行的软件可靠性黑箱分析方法禁锢了人们从更深层次对于硬／软件系统可靠性进行研究。基于上述认识，本文提出了解决软件分解单元之间耦合问题的办法。进而提出了一种新的软件可靠性分析方法，为对计算机系统进行可靠性分析时，考虑硬、软件之间的复杂的相关作用提供了基础，从而为更准确地评估计算机系统的可靠性提供了可能。文中分析了一个飞行控制系统实例。     

可靠性与环境工程技术国防科技重点实验室(一)

日前,国防科学技术工业委员会和总装备部联合下发文件,正式批准“可靠性与环境工程技术国防科技重点实验室”项目立项,并确定了如下4个研究方向：(1)可靠性与环境模拟、加速试验与验证技术;(2)软件可靠性测试与评价技术;     

收集器和槽式推进剂管理装置的方案设计和分析

本文介绍PMD技术公司开发并采用的、用于设计和验证两个PMD组件-收集器和槽的方法和技术。涉及主要要求、设计方案选择、性能分析。介绍的方法与实际是紧密联系的,设计者可以用它设计和验证收集器和槽式推进剂管理装置(PMD)组件。     

一种基于单件模式的主控软件资源冲突问题解决方案

为解决主控软件资源冲突问题,提高软件可靠性,本文以某主控软件多线程访问同一资源导致软件异常的具体问题为例,提出单件模式解决问题的思路并给出具体解决方案,讨论了传统设计方法与单件模式方式的区别,总结单件模式的优势。进一步分析主控软件重用框架对资源唯一性的要求,给出3个非功能要求的单件模式设计方法。事实表明,单件模式应用在主控软件设计上,可以提高设计效率,还可以提高软件可靠性和维护性。     

卫星寿命指标分配方法研究

针对卫星寿命要求如何分解的问题,提出了一种卫星寿命指标分配的方法,在确定卫星耗损寿命要求的基础上,通过开展寿命建模,开发了一种基于蒙特卡罗仿真迭代的寿命指标分配算法,实现了卫星寿命指标的量化分解。该方法可在当前卫星寿命设计工作中推广应用。最后,文章对卫星长寿命设计工作提出了相关建议。     

一个测试软件的可靠性设计

软件的可靠性设计问题目前正受到人们越来越多的重视。本文以一个测试软件为例谈谈运用可靠性原理进行设计、调试的方法和效果。文章首先介绍了测试系统的设备配置、被测对象情况和特殊的测试要求,特殊要求主要体现在对软件的可靠性要求“高”上。围绕着可靠性问题,文章首先叙述了采纳的软件可靠性的几种含义——统计观点、结实观点、可靠观点及经济观点等,接着介绍了提高软件可靠性的四种设计原理——故障避免、故障检测、故障校正和容错。本文采用的是故障避免和差     

高校固定资产管理中存在的问题及建议

固定资产是高等学校教学、科研发展的物质基础,固定资产的管理是高等学校建设和管理的一项重要工作,如何加强高等学校固定资产的管理是一项涉及多个部门的工作。论文针对目前高校固定资产管理中存在的问题提出一些解决的方法和对策。     

谈谈软件的可靠性问题(续)

二、软件可靠性 (四)验证阶段验证阶段是软件开发的最后一个阶段,软件验证就是采用各种方法分析和测试代码,以确定代码与需求说明之间的符合程度.这阶段所进行的活动,对保证软件的质量起着举足轻重的作用. 验证可分为测试、排错、证明、验证、确认、鉴定、接收等阶段.