基于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.