To assess the reliability of the AADL(architecture analysis and design language)reliability model,and imple⁃ment automatic transformation from AADL model to GSPN model,a tool which can transform AADL reliability model to GSPN model was designed and implemented based on the transformation rules. The tool was integrated into OSTAE (open source AADL tool environment). A transformation instance from AADL reliability model to GSPN model is given in this paper.%为了便于对体系结构设计和分析语言AADL可靠性模型进行可靠性评估,实现AADL模型到广义随机Petri网模型(GSPN)可靠性计算模型的自动转换,依据AADL模型到GSPN模型的转换规则,设计并实现了集成在开源工具OSATE上的模型转换工具。实验表明:该文的转换工具可以将AADL可靠性模型自动转换为GSPN模型。
展开▼