Abstract:Aiming at the communication schedule problem of integrated modular avionics(IMA) with its final configuration, the generation, characteristics, and representation of communication schedule flows are analyzed, and an instance is given to show the implementation process of communication schedule. Based on the architecture analysis and design language (AADL), a model for communication flows is built for the previous instance. Finally, the model is instantiated, and a checkport connection consistency report is obtained for consistency verification of modeling communication flows. Simulation result illustrates the feasibility and validation of the communication flow model.