基于GSPN的机载构件化软件系统可靠性测试方法
|
摘要
利用AADL语言对机载构件化软件系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。模型转换规则主要包括基本元素转换规则、基本依赖元素转换规则。在此基础上,将依赖关系扩展到语义连接、参数连接及子构件调用上,同时使用图形化方法对转换规则进行说明,使可靠性模型向GSPN模型转换规则更加完备,以实现对机载构件化软件系统可靠性的计算测试与分析评估。
Reliability modeling of airborne component based software system architecture using AADL language, the conversion of AADL reliability model to GSPN reliability calculation model is realized.Model transformation rules mainly include the basic elements of the conversion rules, basic dependent element conversion rule. Based on that, the dependency relation is extended to the semantic connection,the parameter connection and the sub component invocation, at the same time using the graphical method to explain the conversion rules, the reliability model is transformed to the GSPN model, in order to calculate and analyze the reliability of airborne component based software system.
Reliability modeling of airborne component based software system architecture using AADL language, the conversion of AADL reliability model to GSPN reliability calculation model is realized.Model transformation rules mainly include the basic elements of the conversion rules, basic dependent element conversion rule. Based on that, the dependency relation is extended to the semantic connection,the parameter connection and the sub component invocation, at the same time using the graphical method to explain the conversion rules, the reliability model is transformed to the GSPN model, in order to calculate and analyze the reliability of airborne component based software system.
引文
[1]覃杨森,霍朝晖,刘成玉.构件化机载软件非功能属性测试分析方法研究[J].测控技术,2013,32(11):119-123.
[2]彭成,王盼卿.软件形式化开发方法的选择策略研究[J].电子设计工程,2014(15):30-32.
[3]刘凤.基于软件构件技术的软件化雷达[J].现代雷达,2016(5):12-15.
[4]程亦涵,黄志球,阚双龙.一种结合AADL和IMC的系统可靠性建模方法[J].计算机工程与科学,2015,37(8):1517-1524.
[5]杨志斌,皮磊,胡凯,等.复杂嵌入式实时系统体系结构设计与分析语言:AADL[J].软件学报,2010,21(5):899-915.
[6]李振松,顾斌.AADL在航天器控制系统设计中的应用研究[J].空间控制技术与应用,2011,37(1):55-58.
[7]陈明铝,张立臣.AADL对月球车导航系统的设计与建模[J].计算机应用与软件,2013(11):235-237.
[8]王小强,韩斌.基于GSPN的飞机测试性指标确定方法研究[J].计算机测量与控制,2016,24(4):13-15,18.
[9]赵喆,贾玉红,郑昕,等.基于GSPN的飞机前轮转弯系统安全性评估[J].北京航空航天大学学报,2011,37(12):1546-1551.
[10]吴永强,潘祯.构件技术的通用自动测试系统软件设计[J].电子设计工程,2015,23(23):69-71.
[11]石健,王少萍,王康.基于GSPN的机载液压作动系统可靠性模型[J].航空学报,2011,32(5):920-933.
[12]王二威.软件可靠性模型研究综述[J].软件工程,2016(2):1-2.
[13]李展,单士华.基于GSPN的舰载服务器系统可靠性建模及分析[J].火力与指挥控制,2015,40(5):57-60.
[14]谷春英,姚青山.基于GSPN的计算机硬件系统可靠性分析[J].微电子学与计算机,2013(6):122-125.
[15]桑亚辉,肖乐.基于GSPN的软件可靠性建模及分析[J].计算机测量与控制,2013,21(5):1251-1253.
[16]师丽斌,李蜀瑜.基于ARINC 653标准的嵌入式构件元模型研究[J].电子设计工程,2015(21):91-94.
[2]彭成,王盼卿.软件形式化开发方法的选择策略研究[J].电子设计工程,2014(15):30-32.
[3]刘凤.基于软件构件技术的软件化雷达[J].现代雷达,2016(5):12-15.
[4]程亦涵,黄志球,阚双龙.一种结合AADL和IMC的系统可靠性建模方法[J].计算机工程与科学,2015,37(8):1517-1524.
[5]杨志斌,皮磊,胡凯,等.复杂嵌入式实时系统体系结构设计与分析语言:AADL[J].软件学报,2010,21(5):899-915.
[6]李振松,顾斌.AADL在航天器控制系统设计中的应用研究[J].空间控制技术与应用,2011,37(1):55-58.
[7]陈明铝,张立臣.AADL对月球车导航系统的设计与建模[J].计算机应用与软件,2013(11):235-237.
[8]王小强,韩斌.基于GSPN的飞机测试性指标确定方法研究[J].计算机测量与控制,2016,24(4):13-15,18.
[9]赵喆,贾玉红,郑昕,等.基于GSPN的飞机前轮转弯系统安全性评估[J].北京航空航天大学学报,2011,37(12):1546-1551.
[10]吴永强,潘祯.构件技术的通用自动测试系统软件设计[J].电子设计工程,2015,23(23):69-71.
[11]石健,王少萍,王康.基于GSPN的机载液压作动系统可靠性模型[J].航空学报,2011,32(5):920-933.
[12]王二威.软件可靠性模型研究综述[J].软件工程,2016(2):1-2.
[13]李展,单士华.基于GSPN的舰载服务器系统可靠性建模及分析[J].火力与指挥控制,2015,40(5):57-60.
[14]谷春英,姚青山.基于GSPN的计算机硬件系统可靠性分析[J].微电子学与计算机,2013(6):122-125.
[15]桑亚辉,肖乐.基于GSPN的软件可靠性建模及分析[J].计算机测量与控制,2013,21(5):1251-1253.
[16]师丽斌,李蜀瑜.基于ARINC 653标准的嵌入式构件元模型研究[J].电子设计工程,2015(21):91-94.