Ensuring the satisfiability of partition time requirement in integrated modular avionics (IMA) is of great importance for the safe and reliable operation of IMA system. A method of modeling, transformation and scheduling validation of ARINC 653 partition scheduling system is put forward based on model driven engineering (MDE). The hierarchy scheduling characteristics of IMA system are analyzed com bined with the IMA system scheduling configuration information, the model transfo rmation rules are established between the modeling and analysis of real-time an d embedded system (MARTE) model elements and the hierarchical scheduling semant ic information, and a scheduling validation framework of IMA partition system is designed based on MARTE. Then MAST tool is used to make simulation for the MARTE model to verify the schedulability. Finally, a case analysis is given to illus trate the validity of the method.