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

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

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

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

星载软件重用技术研究

介绍了软件重用技术、意义和实现途径,讨论了星载软件重用技术的形式,分析了影响星载软件可重用性的主要因素,并根据星载实时嵌入式系统特点,提出了基于标准化硬件和通信协议的层次框架软件重用方法。研究认为基于层次框架的星载软件可重用技术能提高效率、降低成本,同时也提高星载软件可靠性和安全性。     

防空导弹武器系统的软件标准化探讨

从防空导弹武器系统软件工程的特点出发 ,简要论述了防空导弹武器系统软件设计的标准化和软件设计与管理特点 ,介绍了软件开发与维护总则以及标准的实施与管理办法 ,并对软件研制中制定与实施标准的重要性作了说明     

航天软件需求可靠性与安全性分析验证技术及工程应用研究

软件需求可靠性与安全性分析验证可有效识别功能层次的需求遗漏、设计缺陷及相关的危险等,是提升软件可靠性与安全性的有效手段。GJB 900A等标准中已要求开展该项分析工作,但与NASA相比,目前工程应用推广尚待加强。本文在调研分析已有方法的基础上,总结实际工程经验,提出了一套操作性强的航天软件需求可靠性与安全性分析验证技术,可为该技术的工程推广提供借鉴。     

基于系统状态分析的软件可靠性测试方法

航天工程类软件由于其应用环境的特殊性,对软件的可靠性和安全性非常重视.但是在航天型号中应用常规软件可靠性测试方法对工程软件进行可靠性评估却存在许多实际困难,本文介绍了一种基于系统状态分析的软件可靠性测试方法,为在航天型号工程类软件中开展可靠性测试提供了一条可实现途径.     

面向交会对接任务的高可靠应用软件设计方法

针对航天器控制系统软件特性及交会对接任务特点,利用软件可靠性理论,研究提高软件可靠性的方法,提出了面向交会对接任务软件的可靠性设计,增强了航天器控制系统的可靠性.     

一种基于数据驱动的装备信息系统软件快速设计框架

针对装备信息系统类软件特点,提出了一种基于数据驱动的软件设计框架.该框架采用数据土壤生成服务森林的核心设计思想,形成一套快速实现该类软件的设计模式,以及面向表单型、流程型、可视化型等常用业务类型开发的辅助工具,支撑软件的敏捷构建.针对装备数据的异构多源特性,与框架配合提出了面向装备信息的数据规范模型,支撑设计框架的通用化、智能化使用.该设计框架形成了一套面向装备信息类软件的研发指导思路,降低了软件的设计复杂度,提升了软件可靠性.     

软件工程与软件可靠性——第六讲 软件可靠性工程实施中的几个技术问题

实施软件可靠性工程必须解决下列三个基本问题: ——如何确定软件可靠性指标要求? ——如何保证实现软件可靠性指标要求? ——如何验证软件已达到其可靠性指标要求? 这三个问题的具体解决涉及若干技术,例如:软件可靠性指标的表示方法和确定方法,操作剖面的建立方法,软件可靠性设计技术,软件可靠性分析技术,软件可靠性测试技术,软件可靠性测量技术,软件可靠性评估技术,软件可靠性验证方法以及软件可靠性管理的有关技术和方法(如软件可靠性大纲的制定与管理方法、软件可靠性费用、风险管理技术等)。限于篇幅,下面简单介绍软件可靠性指标确定和验证的3项有关技术。 1.软件可靠性指标的确定 软件可靠性指标是软件可靠性的量化表示。这里涉及两方面问题,一是如何表示,二是如何确定量化要求。     

软件需求中的可靠性策略

软件可靠性要求的实现应是从系统分析和需求阶段就开始进行考虑，通过软件的需求、设计、编码、测试、维护以及相应的组织和管理来保证。文中通过对时钟结构化的分析，试图就航天嵌入式软件谈了在需求分析阶段中软件可靠性策略与体会，同时论述了在航天工程中软件接口分析的合理性与增强软件可靠性的意义。     

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

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

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

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

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

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

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

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

Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

航天器污染控制与标准化工作

污染控制标准是航天产品质量体系的重要组成部分,通过污染控制标准化可以增加产品可靠性、安全性以及降低成本.文章主要总结了国内外污染控制和标准化工作状况,说明这些标准贯穿于航天产品的原材料、计划、设计和研制全部过程,以及介绍了污染控制标准化方面的进展情况.     

星载软件可靠性设计方法

分析了星载软件及其可靠性的特点，针对空间环境对星载软件的影响，提出了软件工程化、模块化和容错设计、遥测遥控处理，以及异常检查等提高软件可靠性的设计措施，并说明了软件测试对提高可靠性的重要性。     

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

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

智能仿真软件设计平台的实现

以运载火箭控制系统仿真软件为对象,通过分析仿真模型的共性,建立通用模型数据库和函数库,完成仿真软件各组成部分通用模块设计,搭建了一个智能化的专用仿真软件设计平台。平台的实现突破传统的软件设计思路,用仿真模型描述代替人工代码输入,在缩短仿真软件研制周期的同时也提高了软件的设计质量,为仿真软件设计创造了一个良好的开发环境。     

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

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