基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

基于UML的软件体系结构建模方法的研究

软件体系结构是软件工程中的一个重要领域。对软件体系结构的分析和设计已成为决定软件系统（特别是大型软件系统）成功的重要因素。体系结构描述语言ADL能以一种比较直接、精确的方式来描述软件体系结构,但它很难与主流开发方式集成。UML是一种应用广泛的对象建模语言,已被工业界广泛接受。本文介绍了一种UML与ADL集成的方法,对软件系统的开发具有较大的实用价值。     

基于Petri网的构件软件系统可靠性研究

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

软件体系结构描述研究与进展

软件体系结构是当前软件工程领域的一个研究热点,是大型软件开发中必须解决的核心技术。无数的软件工程实践也证明了:一个成功的软件系统往往都有一个好的软件体系结构。由于软件体系结构描述是体系结构构造、演化、验证、分析、维护和基于体系结构的软件开发的基础,因此体系结构     

软件体系结构分析与评价方法评述

近年来,软件体系结构逐渐成为软件工程领域的研究热点以及大型软件系统开发和产品线开发中的关键技术．体系结构分析评价的目的是为了识别体系结构设计中的潜在风险,帮助开发人员进行设计决策．从软件体系结构的概念出发,分类介绍了体系结构描述的不同观点,评述了国内外有代表性的分析评价方法和工具．最后探讨了软件体系结构分析评价研究中存在的不足及其原因,作为总结,给出体系结构分析评价未来的发展方向．     

形式化与可视化相结合的软件体系结构描述方法研究

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。     

一种软件体系结构可修改性评估方法的研究

计算机软件系统中系统规模不断扩大,软件系统的质量在一定程度上越来越取决于系统的体系结构.体系结构分析评价的目的是为了识别体系结构设计中的潜在风险,帮助开发人员进行设计决策.现在用于软件体系结构可修改性评估的方法却不多,本文就软件体系结构的可修改性方面提出了一种评估方法,该方法是基于场景的软件体系结构分析,其中分析的目标主要集中在可修改性这一质量属性上.该方法通过五个步骤展开对软件体系结构的评估分析,在评估分析的过程中也提出了一些具体的相关技术.     

软件体系结构脆性分析与验证

软件系统因具有节点众多、节点间联系复杂、随时间演化、自组织临界等特性可将其视为复杂系统。在软件安全领域,对软件体系结构的分析一直是研究的重点。软件体系结构具有自身的脆性,这体现在软件系统的运行过程会出现由于内部组件失效或外部攻击而导致的级联故障乃至系统崩溃。首次将软件系统视为复杂系统,对软件体系结构的脆性进行相关分析,并结合"数据抽象和面向对象"风格的软件体系结构,通过蚁群算法及GROD算法指出该体系结构脆性的最大崩溃路径及脆性源。这将对软件安全领域系统的设计、监控等方面的研究提供理论及实践方面的指导意义。     

管理信息系统软件体系结构演化研究

采用软件体系结构技术,可以使软件开发具有较高的实用价值,开发的软件系统具有可重用性、共享性和可维护性,并可以提高软件生命周期.论文对综合人事信息系统软件体系结构发现、演化、复用进行了研究,分析了综合人事信息系统体系结构发展中的四种体系结构,揭示了综合人事信息系统软件体系结构从管道型到异构型的演化历程,研究成果对管理信息系统软件体系结构设计有重要参考价值.     

操作系统结构风格研究

一、引言最近十年人们对软件体系结构及其设计方法和设计工具进行了系统研究并取得了一些重要研究成果。相关研究成果揭示;在大型复杂软件系统的开发过程中强调软件体系结构设计有利于保证软件系统的质量、提高其开发效率、降低其开发成本,因此在此类软件系统的开发中软件体系结构设计至关重要。这一结论对各种大型复杂软件系统普遍适用。当然,大型复杂操作系统也不例外。事实上,经过多年的探索和实践,人们已经意识到操作系统体系结构设计在大型复杂操作系统开发过程中的重要性并对一些特定的操作系统结构设计技术给予了关注。近些年来人们对微核结构设计思想的重视表明了这一点。然而,迄今为止人们尚未对操作系统体系结构及其设计方法和设计工具进行     

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

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

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

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

一个改进的基于构架的软件可靠性模型

本文通过对Wen-LiWang等人提出的基于构架的软件可靠性模型的改进,克服了该模型在不同结构中存在的对连接器的可靠性考虑不足的问题,同时,还提出了在混合结构中如何构造状态转换矩阵的方法,极大的拓宽了模型的应用范围,为分析构件、连接器和某种结构对整个构架可靠性的影响提供了一定的理论基础。     

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

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

Software architecture reliability analysis using failure scenarios

With the increasing size and complexity of software in embedded systems, software has now become a primary threat for the reliability. Several mature conventional reliability engineering techniques exist in literature but traditionally these have primarily addressed failures in hardware components and usually assume the availability of a running system. Software architecture analysis methods aim to analyze the quality of software-intensive system early at the software architecture design level and before a system is implemented. We propose a Software Architecture Reliability Analysis Approach (SARAH) that benefits from mature reliability engineering techniques and scenario-based software architecture analysis to provide an early software reliability analysis at the architecture design level. SARAH defines the notion of failure scenario model that is based on the Failure Modes and Effects Analysis method (FMEA) in the reliability engineering domain. The failure scenario model is applied to represent so-called failure scenarios that are utilized to derive fault tree sets (FTS). Fault tree sets are utilized to provide a severity analysis for the overall software architecture and the individual architectural elements. Despite conventional reliability analysis techniques which prioritize failures based on criteria such as safety concerns, in SARAH failure scenarios are prioritized based on severity from the end-user perspective. SARAH results in a failure analysis report that can be utilized to identify architectural tactics for improving the reliability of the software architecture. The approach is illustrated using an industrial case for analyzing reliability of the software architecture of the next release of a Digital TV.     

Linux内核软件体系结构恢复的研究

Ｌｉｎｕｘ是由全球范围的系统软件设计专家在遵守通用公共许可证条款（ＧＰＬ）的前提下共同开发的符合ＰＯＳＩＸ标准的类ＵＮＩＸ操作系统,在开发过程中没有严格完整的文档化软件体系结构,因而不利于内核开发者对Ｌｉｎｕｘ内核的理解和维护。文章在综合分析Ｌｉｎｕｘ内核有关文档的基础上,利用软件工具并分析部分Ｌｉｎｕｘ内核源码,恢复了Ｌｉｎｕｘ内核文档化的软件体系结构,以提高其可靠性、可维护性和可扩展性。Ｌｉｎｕｘ代表了Ｉｎｔｅｒｎｅｔ时代一种新的软件开发模式,对Ｌｉｎｕｘ内核软件体系结构恢复的研究,是这种新的开发模式下进行软件工程学研究的一种尝试。     

GO法在软件体系结构可靠性分析中的应用

GO法是一种系统可靠性分析方法,可将GO法应用到软件体系结构的可靠性分析中。根据软件体系结构自身的特点及构件之间的关系,分别建立了软件体系结构六种基本结构的GO模型,并进行了定量GO运算。通过一个实例,说明了应用GO法对软件体系结构的可靠性进行分析的全过程。实践表明:运用定量GO运算能够方便地计算出整个软件体系结构的可靠度,通过定性GO分析还可评估各构件及连接件的重要性,对后期系统的设计与开发具有一定的指导意义。     

基于结构的软件可靠性建模研究进展

软件体系结构作为提高软件系统质量、支持复杂软件开发和复用的重要手段,已经成为软件工程的一个重要研究领域,软件结构的研究对软件可靠性度量也带来的新的问题。分析和总结近年来基于软件体系结构的可靠性建模方法,并对其今后若干研究方向进行了探讨。     

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

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