基于GSPN的机载构件化软件系统可靠性测试方法

利用AADL语言对机载构件化软件系统体系结构进行可靠性建模,实现AADL可靠性模型到广义随机Petri网(GSPN)可靠性计算模型的转换。模型转换规则主要包括基本元素转换规则、基本依赖元素转换规则。在此基础上,将依赖关系扩展到语义连接、参数连接及子构件调用上,同时使用图形化方法对转换规则进行说明,使可靠性模型向GSPN模型转换规则更加完备,以实现对机载构件化软件系统可靠性的计算测试与分析评估。