Study of Ima Software Dynamic Reconfiguration Based on Aadl

摘要

A method to model IMA software dynamic reconfiguration with AADL and verify the model?s deadlock-free with Petri Net are proposed. Compared with current research, the model can describe the reconfiguration caused by both fault tolerance and requirement change and the verification has good performance on checking deadlock-free of AADL model. This paper gives some basic concepts of IMA dynamic reconfiguration and AADL behavior annex, presents the method of modeling IMA reconfiguration with AADL, the model transformation and the verification of its deadlock-free using Petri Net.