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