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

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

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

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

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

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

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

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

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

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

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

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

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

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

软件可靠性修改的Schneidewind增长模型的特性分析

本文对软件可靠性修改的Ｓｃｈｎｅｉｄｅｗｉｎｄ增长模型进行了详细的数值特性分析，剖析了该模型的参数解结构，从而构造了模型参数估计的高效求解算法，并进行了相应的数值实验。     

控制软件可靠性设计和评估方法

介绍软件可靠性的定义 ,探讨软件失效的机理并阐述设计一个可靠控制软件的原则 ,提出一种基于三角形模糊数算术运算的软件可靠性评估方法。     

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

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

一种新的硬/软件系统可靠性分析方法

在一种新的软件可靠性分析方法基础上，参考硬件系统的阶段性任务可靠性的建方法，为在对于不可修的计算机系统进行可靠性分析时考虑硬、软件之间复杂的相关作用提出了一套比较全面的解决办法。从而为更准确地评估计算机系统可靠性提供了可能。文中分析了一个飞行控制系统实例。     

基于M56F807的无人机飞控系统设计

针对小型无人机飞控系统在功耗、成本、可靠性以及集成度等方面的较高要求,设计了一种基于Freescale M56F807型DSP和PID控制策略的飞控系统。针对某型号的无人机,详细阐述了系统的设计思想及其基本硬件和软件结构。采用了时域信号的取样积累平均方法,减少了算法的实现难度,提高了采样精度。对硬件设计中的关键技术进行了研究,系统具有设计精炼,可靠性高,开放性好等优点。基于DSP的现代高速数字处理飞控系统,能够赋予无人机更大的机动性、更高的灵活性和更广泛的适用性。     

混合不确定信息航天机构可靠性综合分析方法

为更加准确全面描述和分析航天机构的概率、非概率和模糊信息混杂模型的可靠性,提出非概率-模糊-概率信息统一的可靠性模型。在凸集非概率的基础上,结合模糊随机类信息,同时考虑机构系统的响应域落在失效域和不落在失效域两种情况下的可靠性度量。统一的可靠性模型运用基于凸集非概率模型、模糊割集方法和概率可靠度方法对非概率和模糊概率信息相容处理,然后对这两种情况分别进行可靠性分析。当系统的响应域落在失效域时,将统一模型中的区间信息用基于区间均匀分布的二阶拟合可靠性分析方法(SORM)进行分析,用蒙特卡罗仿真抽样方法计算统一模型的可靠度量化值。当系统的响应域不落在失效域时,将统一模型归一到凸集模型中,用凸集模型融合模糊和概率信息,并用HL-RF求解非概率可靠性指标。最后文章通过数值案例和某卫星天线双轴驱动机构的工程案例对提出的方法进行验证。     

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

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

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

液体火箭发动机可靠性增长分析与决策研究

液体火箭发动机试验费用昂贵、可靠性要求高，有必要采用分析和决策技术对可靠性增长进行综合管理。传统的可靠性增长分析与决策是采用可靠性增长模型，包括经典可靠性增长模型和Bayes可靠性增长模型。可靠性增长模型以可靠度的点估计或置信下降作为决策标准，缺陷是没有考虑可靠度本身的不确定性以及由决策损失导致的严重后果。本文根据液体火箭发动机的特点，采用信息融合技术，建立了基于增长数据折合的Bayes指数分布可靠性增长模型，评估可靠性水平。针对评估结果存在的不确定性，采用Bayes风险决策方法确定停止可靠性增长试验时间的标准。工程应用表明：该方法可操作性强，得出的结果科学、可靠。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响,为避免容错算法存储开销和执行开销给系统带入过多的计算压力,提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷,这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法:扩展块数字签名的控制流检测方法ESCFC(Extend block Signatures for Control Flow Checking)。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模,提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟,充分说明了将该方法运用于航天工程的可行性。     

液体火箭发动机可靠性增长规划研究

液体火箭发动机可靠性要求高、试验费用昂贵，有必要对可靠性增长试验进行综合规划，以减少试验费用、缩短研制周期和降低风险。根据液体火箭发动机的特点，提出双参数的：Bayes可靠性增长模型，综合利用产品研制过程中全程试验信息，动态评定可靠性水平。在客观评价其可靠性水平的基础上，采用MTGP(Modified Tracking，Growth and Prediction)模型跟踪增长过程，对液体火箭发动机的可靠性增长试验进行综合规划。研究表明：这种方法能在小样本下，科学、合理地评定液体火箭发动机的可靠性水平和指导可靠性增长规划，在工程中有广泛的应用前景。