Research on Verification Method of AADL Behavior Model Based on BIP

To analyze and validate AADL (architecture analysis and design language) behavior model, a mapping regulation between AADL behavior model and BIP model was proposed based on the syntax definition of AADL behavior annex and the descriptive way of behavior. After the transformation we can use the BIP tools to check and validate BIP behavior model. Finally an AADL model of real-time critical system was translated into BIP model for example, and we used BIP tool to simulate and verify its behavior. The experiment demonstrates the validity of the model transformation.