基于Petri网的软件体系结构可靠性分析

近年来,软件体系结构已成为软件工程领域的研究热点以及大型软件系统与软件产品线开发中的关键技术之一。对软件体系结构的可靠性分析是进行软件开发的一个重要依据,为了提高软件系统的性能,一个可靠的体系结构是整个软件系统的基础。文章通过分析体系结构的特征和可靠性因素,提出了一种基于Petri网的体系结构可靠性分析方法,对软件体系结构的各因素的可靠性进行分析评估,从而推导出整个软件体系结构的可靠性,并对软件体系结构可靠性进行实例研究。     

基于构件影响因子的软件可靠性评估方法

为提高构件式软件系统可靠性评估的准确性,使软件系统的优化效率得到提高,提出一种基于构件影响因子的软件可靠性评估方法.基于构件式软件系统具有的复杂网络特性,使用引入构件转移概率的加权PageRank算法评估构件的影响因子,将构件的影响因子引入到离散时间马尔科夫链的可靠性评估模型中,评估软件系统的可靠性.实验结果表明,该方...     

一种软件可靠性评估模型及其Petri网描述

通过提出k-可靠模型,对现有软件可靠性评估方法所依据的模型进行重构,并根据Petri网及软件可靠性的相关理论,对构成软件系统的各个组件进行可靠性评估,从而实现对软件系统的可靠性评估,并介绍一种自底向上的可靠性计算过程。该方法能对软件系统的进行分解和综合计算,达到对整个软件系统可靠性评估的目的。     

基于构件的软件可靠性分析

现代软件工程的一个重要目标是实现聚合性和重用性，构件技术就是以此为目标的。随着该技术的快速发展，以构件设计复杂软件系统的软件开发方法日趋成熟。但是基于该技术的软件可靠性分析却比较落后。目前，在这领域的研究中，多数是使用软件可靠性增长模型（SGRM），对于软件系统的可靠性预测研究较少。在已有的文献中，给出了基于组件的具有层次结构的系统可靠性预测分析，但没有考虑模块之间循环调用的可靠性问题。循环调用在软件中是经常发生的事件，对软件系统的可靠性具有举足轻重的作用。本文在对已有模型的不足进行分析后，增加了循环调用的可靠性预测分析，建立了一个较为全面的系统可靠性预测分析模型。     

基于构件的可信软件系统冗余机制及可靠性分析

在高可信软件的设计和开发中,软件容错是提高系统可信性的一种实现技术之一. 容错性就是指软件在故障出现时保证提供服务的能力,对退化故障进行容错的一种处理方式就是依靠冗余技术. 本文在分析结构冗余及其对可信性的影响的基础上,在基于构件的可信软件系统中提出了对核心构件进行冗余的机制,包括单个构件的双模冗余结构、组合构件的双模冗余结构和构件的三取二冗余及其扩展结构,并给出了其故障检测和判断方法. 同时,在各种冗余结构的基础上对系统可靠性能进行分析.     

基于序列的可靠性分析方法

随着软构件技术的快速发展，基于构件设计复杂软件系统的软件开发方法日趋成熟。如何利用系统架构和软构件的可靠性分析软件系统的可靠性成为一个亟待解决的问题。软件是静态的，而开发过程是动态的。为了在动态的开发过程中跟踪可靠性，本文提出了基于序列的场景模型，以便分析软件可靠性。与相关的其他方法不同的是，该方法更关注于动态开发过程中的可靠性分析。     

一种基于构件的可信软件系统框架及其表示

随着软件在信息社会中发挥越来越重要的作用,人们对软件系统的可信性方面的要求也愈来愈高。对可信软件和软件构件进行定义和分析的基础上,提出了一种基于构件的可信软件系统框架;一个基于构件的可信软件系统框架包括软件系统的信任根构件、可执行的构件集、HASH函数以及构件之间的控制权可信转移协议等部分;在此框架下,对基于构件的可信软件系统进行描述和表示。为基于构件的可信软件系统的构造和开发提供相应的理论支持和借鉴作用。     

PAR平台中若干软件构件形式化验证技术研究

PAR平台是本团队研制成功的支撑软件形式化和自动化开发的软件平台。该平台充分体现了功能抽象和数据抽象的优越性,使得软件开发变得便捷和可靠,达到这一性能的关键要素是一批可重用软件构件。为保证整个软件平台的正确性和可靠性,确保其中软件构件的正确性和可靠性就显得十分重要。选取PAR平台中若干典型软件构件,用形式化方法对构件的语义进行形式化描述,并借助Coq定理证明系统,对构件的正确性进行形式化验证,大幅度提高了软件构件形式化验证的效率。     

基于Petri网运行状态的组件化软件可靠性分析方法

通过分析软件系统的组件结构特征、运行状态和可靠性因素,提出了基于随机Petri试网运行状态的可靠性分析方法。对构成软件系统的各组件的可靠性进行分析和评估,根据系统运行状态动态跟踪软件的可靠性,推导出整个软件系统的可靠性。与仅着眼于系统组件间的执行路径不同,该方法更关注于系统各个运行状态的可靠性。最后给出了一个实例研究。     

基于构件的指控软件复用

当前军用指控软件开发效率仍然较低,软件设计和代码开发重复性开发仍然普遍,由此导致软件系统的可靠性得不到保证,开发周期也较长。软件复用是指控软件开发中避免重复开发的重要解决方案,通过软件复用明显可以提高软件开发的效率和可靠性,改善军用软件的维护性和保障性。结合军工科研院所软件开发中流行的构件技术,介绍了软件复用的基本概念和关键技术,就基于构件的指控软件复用技术在指挥与控制软件系统做出应用研究,这些对指控软件复用的工程普及做出了实践贡献。     

软件可靠度的模糊故障树评定方法

软件可靠性的定量评价是软件可靠性工程的关键问题之一,采用故障树方法对软件进行定性和定量分析,提出了两类情况下对影响软件可靠性的主次因素划分及其模糊权重的计算方法。在此基础上,建立多级模糊评价模型,提出了增广和聚合算法,并给出了软件可靠度算式。选择某型航空装备软件进行了测试实例分析,实验结果表明了该方法评价结构的合理性与评价算法的有效性,适用于软件质量及开发过程控制的工程实践。     

基于PXI总线的MIC总线通讯模块设计

MIC总线是专门为了解决现代军事及工业领域中极其复杂和恶劣的工作环境下电力/数据的分配和管理而开发的一种具有结构简单及高可靠性的现场总线;在详细分析MIC总线的体系结构和通信协议之后,提出了基于PXI总线体系结构的MIC总线通讯模块的软硬件设计方案;系统可通过PXI总线灵活配置MIC的各种通讯模式参数,具有即插即用、高可靠性和小型化易集成等特点;实验证明,主模块PIM工作模式与远程从模块间数据通讯稳定且可靠,对国内MIC总线的研究与应用有重要意义。     

利用随机Petri网分析软件可靠性

提出一种基于随机Petri网的软件可靠性分析方法.该方法的可靠性模型可以很好地描述软件系统的动态变化过程,并可以得到软件系统处于各个状态的瞬时及稳态概率,为系统运行一定时间后的可靠性情况提供有利的分析手段.此外,所获得的结果也可以直接用于指导后期的开发过程.     

基于构架的软件可靠性分析及优化研究

文章通过对基于构架的软件可靠性模型进行估算和分析,提出了一套分析和优化基于构架的软件可靠性的方案,并利用ATM银行系统实例给出了具体分析方法和步骤。同时,根据分析出来的可靠性瓶颈进行了一定的结构优化,优化后整个软件构架的可靠性有了显著提高。     

基于OO技术的软件可靠性研究

在分析软件可靠性重要性的基础上,论述了基于OO技术的软件可靠性估计存在的问题,提出了一种正比于错误残留数的软件可靠性度量模型,给出了提高软件可靠性的具体措施.     

某通讯监控系统可靠性分配与验证

本文在探讨各种软件可靠性分析方法的基础上,利用基于软件复杂性因子的分配方法对某通讯监控系统进行了可靠性指标分配与验证,详细介绍了特定系统可靠性分配的一般分析方法与其实现过程,其它类似系统亦可参照使用。     

一种模块化的实时软件可靠性测评方法

根据实时软件的可靠性评估需要,在分析传统软件可靠性增长模型局限性的基础上,提出了一种模块化的实时软件可靠性测评方法。该方法将系统的可靠性指标分配到各任务模块,并将贝叶斯理论用于单个模块的可靠性测评。相比基于可靠性增长模型的传统测试方法,该方法可降低系统测试的复杂程度,提高评估精度,特别适合对高可靠性软件的测评。