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

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

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

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

基于软件复用技术的电子地图应用系统研究

介绍了软件复用技术,提出了实施基于构件的软件复用技术的关键技术,进而结合信息系统的特点进一步研究了基于领域的软件构件技术。利用面向对象分析方法和面向对象建模语言（UML）,对电子地图应用软件系统进行了分析和建模,进而提取构件,并按照COM构件规范实现构件。     

构件运算的完整性证明及性质

当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统地科学地描述软件演化。软件演化是一个复杂的过程,这种复杂性决定了对软件演化的研究应从软件体系结构这一宏观层面入手。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的用于描述体系结构的构件调用运算、协作运算和条件运算的新方法。该方法能够描述任意软件系统的体系结构和支持软件演化。在此基础上证明了构件运算系统是一个完整的代数系统,能够描述任意软件系统的体系结构,并探讨了构件运算的相关性质。     

基于构件运算的软件演化研究

当前对软件构件的描述均采用图形加文本的方式或形式化描述语言,这些描述对构件的动态行为、互操作和演化特征方面的描述明显不足,无法系统科学地描述软件演化。针对该问题,文章引入用代数理论对构件的属性和行为特征进行抽象而提出的构件调用运算、协作运算和条件运算的新方法。对软件系统进行抽象化,把软件系统的演化归结为构件表达式的变化,利用代数理论对软件演化中构件的增加、删除、相互关系的修改进行系统研究,并给出将演化后的结果用图形方式表示的方法。     

构件化安全苛求软件的安全接口策略

在采用构件化技术的安全苛求软件中,软件的安全性仍旧是首要特性,介绍了多故障模式下的安全接口策略,并将此理论应用在铁路车站计算机联锁软件这种安全苛求软件的开发中,对系统中单个构件定义安全接口,从而为整个软件系统提供了有效的安全性保障。     

嵌入式环境中的软件构件化研究

根据嵌入式系统的固有特点,将构件化的思想引入到嵌入式系统中,对嵌入式软件进行了构件化改造。针对底层驱动和操作系统的构件化,可有效提高软件系统的可移植性以及安全性;对应用层软件的构件化,提高了嵌入式软件的可配置性,并减少了软件系统的每个应用的体积。最后以嵌入式通讯协议栈为例,测试了构件化对软件性能的影响,对嵌入式软件的构件化改造有参考意义。     

嵌入式环境中的软件构件化研究

根据嵌入式系统的固有特点，将构件化的思想引入到嵌入式系统中，对嵌入式软件进行了构件化改造。针对底层驱动和操作系统的构件化，可有效提高软件系统的可移植性以及安全性；对应用层软件的构件化，提高了嵌入式软件的可配置性，并减少了软件系统的每个应用的体积。最后以嵌入式通讯协议栈为例，测试了构件化对软件性能的影响，对嵌入式软件的构件化改造有参考意义。     

基于构件失效建模的软件安全性分析

提出一种基于构件失效建模的软件安全性分析方法,对失效传播与转换标记(FPTN)进行扩展,描述各个构件的失效行为和模式。在架构设计层面综合考虑软件系统的构件连接和结构特性,使用模糊数学的相关方法,确定软件的安全等级。结合实例,对构件失效传播的概率进行计算,结果证明了该方法的有效性。     

一种形式化的软件可演化性特征描述方法

软件系统的活性和安全性是判断软件可演化性的重要依据之一。现有方法多使用经典逻辑对系统的活性和安全性进行刻画。环境及涉众的复杂性使得软件的可演化性分析可能出现矛盾的输入。经典逻辑的无矛盾律导致其不能对软件系统的演化特性进行有效建模。针对该问题,提出了一种形式化的软件可演化性特征描述方法,该方法允许矛盾性输入的存在,可用于对软件可演化性等存在矛盾特性的系统进行建模和分析。该方法使用多值时序逻辑刻画软件系统的演化需求,同时提出了一种抽象软件模型对软件系统进行建模,通过抽象软件模型的活性和安全性来对软件系统的可演化特征进行描述。     

基于犹豫模糊集的软件质量评价模型

提出一种基于犹豫模糊集的软件质量评价模型。首先,根据专家打分,将犹豫模糊集与直觉模糊集相结合,得出软件质量特性的综合犹豫模糊评价矩阵;然后,通过计算犹豫模糊广义比较表,得出软件各质量属性得分;最后根据得分情况给出软件的质量排序。该模型较好地解决了专家对软件质量指标进行评价时的犹豫性问题。具体的案例分析表明,所提出的软件质量评价模型是可行、有效的。     

一种安全软件安全性评估的模糊模型

提出了一种安全软件安全性评估的模糊模型，利用软件测试过程中的客观危险失效的主观评价进行模糊推理，实现了安全软件安全性的一种定性评估，并通过仿真实例给予说明。     

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

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

软件安全性评估方法综述

软件安全性评估的目的是评价软件是否达到系统规范所要求的安全性。该文对国内外关于软件安全性评估的方法进行了分析,将其分为风险矩阵评估、模糊评估和基于可靠性模型的评估等类别,并对上述几种方法做了相应的比较。     

Prioritized aggregation operators of trapezoidal intuitionistic fuzzy sets and their application to multicriteria decision-making

A trapezoidal intuitionistic fuzzy set, some operational laws, score and accuracy functions for trapezoidal intuitionistic fuzzy values are presented in this paper. Then, the trapezoidal intuitionistic fuzzy prioritized weighted averaging (TIFPWA) operator and trapezoidal intuitionistic fuzzy prioritized weighted geometric (TIFPWG) operator are proposed to aggregate the trapezoidal intuitionistic fuzzy information. Furthermore, a multicriteria decision-making method based on the TIFPWA and TIFPWG operators and the score and accuracy functions of trapezoidal intuitionistic fuzzy values is established to deal with the multicriteria decision-making problem in which the criteria are in different priority level. Finally, a practical example about software selection for considering various prioritized relationships between the criteria of decision-making is given to demonstrate its practicality and effectiveness.     

模糊安全性和活性

形式规约使用形式语言构建所开发的软硬件系统的规约,刻画系统的模型和性质。其中,性质规约中的分支时间规约对于系统验证有着非常重要的作用。在经典情形下,系统性质规约是基于二值逻辑的,不能描述不一致或不确定的信息。因此,将其推广到模糊逻辑背景下,有助于对模糊系统进行形式验证。文中首先给出了性质规约中分支时间属性在模糊背景下的形式化定义,重点研究了其中的安全性和活性;然后,定义了两种闭包操作,从而产生了4种类型的属性,即泛安全性、泛活性、存在安全性和存在活性;最后,证明了每个分支时间属性,或是存在安全性和存在活性的交,或是泛安全性和泛活性的交,或是存在安全性和泛活性的交。     

一种航空机载嵌入式软件安全性评价方法研究

机载嵌入式软件是航空电子系统的重要组成部分,其安全性直接关系到飞行安全。由于软件安全性包含的范围较广,对安全性的评价往往周期长、结果不明确。针对嵌入式软件安全性评价的难题,在软件的整个生命周期采用分类模糊综合评价方法,建立了评价模型,提出了一种嵌入式软件安全性评价方法,在软件生命周期的5个阶段提出了59种评价元素,每种评价元素均反应出软件在每个阶段的关键活动。在各个阶段选择相关项目人员对每个元素进行评价,并依据计算公式得出软件安全分值。通过工程实践证明,该方法切实可用,评价过程相比传统的方法节约了时间,评价结果准确、直观,为航空机载嵌入式软件尤其是型号软件的安全性评价提供了一种新方法,为软件总体质量的评价和软件安全性的改进方向提供支撑。     

汽车紧急制动控制模型及其安全性分析与研究

主要研究汽车紧急制动控制及其安全性,在对紧急制动工作过程进行分析的基础上,通过结合Carsim和Simulink软件完成了紧急制动控制。根据两车间的安全行驶距离,采用的模糊控制策略,其输入变量为两车间距及相对速度、输出变量为主缸制动压力。对该制动系统进行仿真实验结果表明,系统的模糊控制策略在制动过程中能有效实现,同时,显著提升了车辆的安全性和乘坐舒适性。