|本期目录/Table of Contents|

[1]孙 科,覃杨森.基于GSPN的机载构件化软件系统可靠性测试方法[J].电子设计工程,2017,(17):16-20.
 SUN Ke,QIN Yang-sen.Reliability test method of airborne component based software system based on GSPN[J].SAMSON,2017,(17):16-20.
点击复制

基于GSPN的机载构件化软件系统可靠性测试方法(PDF)
分享到:

《电子设计工程》[ISSN:1674-6236/CN:61-1477/TN]

卷:
期数:
2017年17期
页码:
16-20
栏目:
计算机技术应用
出版日期:
2017-09-05

文章信息/Info

Title:
Reliability test method of airborne component based software system based on GSPN
文章编号:
1674-6236(2017)17-0016-05
作者:
孙 科覃杨森
(中国飞行试验研究院 陕西 西安 710089)
Author(s):
SUN Ke QIN Yang-sen
(Chinese Flight Test Establishment, Xi’an 710089, China)
关键词:
软件测试 构件化软件 可靠性 转换规则 GSPN
Keywords:
software testing component based software reliability conversion rule GSPN
分类号:
TN99
DOI:
-
文献标志码:
A
摘要:
利用AADL语言对机载构件化软件系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。模型转换规则主要包括基本元素转换规则、基本依赖元素转换规则。在此基础上,将依赖关系扩展到语义连接、参数连接及子构件调用上,同时使用图形化方法对转换规则进行说明,使可靠性模型向GSPN模型转换规则更加完备,以实现对机载构件化软件系统可靠性的计算测试与分析评估。
Abstract:
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.

参考文献/References:

[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.

相似文献/References:

[1]李春海,伍萍辉,曾 成,等.塑壳断路器延时特性自动检测系统[J].电子设计工程,2011,(24):133.
 LI Chun-hai,WU Ping-hui,ZENG Cheng,et al.Automatic system to examine the delay characteristics of the moulded case circuit breaker[J].SAMSON,2011,(17):133.
[2]李忠奎,姚永辉,温 良,等.CAN多主通讯技术在煤矿顶板监测系统中的应用[J].电子设计工程,2011,(21):93.
 LI Zhong-kui,YAO Yong-hui,WEN Liang,et al.Application of CAN multi-master technology in monitoring system of coal mine roof[J].SAMSON,2011,(17):93.
[3]刘俊辉,李 娜.采用文献比较分析法的软件可靠性影响因素分析[J].电子设计工程,2011,(21):21.
 LIU Jun-hui,LI Na.Analysis of affecting factors on software reliability by applying literature comparative analysis method[J].SAMSON,2011,(17):21.
[4]唐 淼,王晨辰,周阳辉.通信IP网中可靠性策略的部署及问题分析[J].电子设计工程,2011,(18):106.
 TANG Miao,WANG Chen-chen,ZHOU Yang-hui.Policy of reliability and analysis of questions in the communication IP network[J].SAMSON,2011,(17):106.
[5]吴兴纯,赵金燕,杨秀莲,等.单片机运用系统的软件抗干扰技术研究与分析[J].电子设计工程,2011,(16):34.
 WU Xingchun,ZHAO Jingyan,YANG Xiulian,et al.The study and analysis of software anti-interference in microcomputer measurement and control system[J].SAMSON,2011,(17):34.
[6]王 阎,康慕宁,张 晓,等.海量存储系统评测体系的研究[J].电子设计工程,2011,(07):6.
 WANG Yan,KANG Mu-ning,ZHANG Xiao,et al.Research of evaluation system of mass storage system[J].SAMSON,2011,(17):6.
[7]王敦坤,卢 彬,张立鹏,等.S7-300软冗余系统在锅炉FSSS中的应用[J].电子设计工程,2011,(01):15.
 WANG Dun-kun,LU Bin,ZHANG Li-peng,et al.Application of S7-300 software redundancy in the furnace safeguard supervisory system[J].SAMSON,2011,(17):15.
[8]于开民,孙时珍,张树团,等.一种基于Petri网的飞机配电系统可靠性分析方法[J].电子设计工程,2010,(10):133.
 YU Kai-min,SUN Shi-zhen,ZHANG Shu-tuan,et al.A method for reliability assessment of airplane power distribution system based on Petri network[J].SAMSON,2010,(17):133.
[9]吴晓葵.基于CodeTEST的嵌入式软件测试技术[J].电子设计工程,2010,(09):74.
 WU Xiao-kui.Embedded software testing technology based on CodeTEST[J].SAMSON,2010,(17):74.
[10]刘汉烨.面向C/S结构的软件自动化测试工具的设计[J].电子设计工程,2010,(06):136.
 FAN Tong-ke.A dynamic fornsics method based on immune network intrusion[J].SAMSON,2010,(17):136.

备注/Memo

备注/Memo:
更新日期/Last Update: 2017-09-06