论文部分内容阅读
在综合模块化航空电子(IMA)系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言(AADL)模型到扩展着色Petri网(ECPN)模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。
In the integrated application of modular avionics (IMA) system integration, IMA system resource configuration modeling and security analysis is essential. First, a set of transformation rules from architecture analysis and design language (AADL) model to extended colored Petri net (ECPN) model is proposed by using the model transformation method. The AADL model is transformed into the ECPN model and the model is not lost during the model conversion Any key resource modeling elements; then conduct a follow-up security analysis based on the target model; and finally use a simple example to demonstrate how to apply the proposed model transformation method. The results show that the AADL2ECPN model conversion method analyzes the feasibility of IMA system security.