Integrated Modular Avionics(IMA) system can effectively improve the efficiency of the system and reduce the allocation of resources, but the integration work increases the complexity of the system, and causes the failure of the system to spread to other systems during the integration process, which has a great impact on the system security.Traditional system safety analysis methods mainly rely on engineering experience and personal skills, and have the limitation of ignoring system failure state and misjudging the impact of failure.In order to solve this problem, a new integrated modular avionics system safety analysis method called model checking is proposed, which uses the traversal algorithm to search all the system states.The use of this analysis process realizes automation and reduces the need for engineering experience.The practicability of this method in the safety analysis of integrated modular avionics system is verified.The analysis process is given based on the system requirements and specifications, and the model checking tool NuSMV is adopted for safety analysis.This method can automatically identify the minimum combination of faults that cause top-level events, so as to achieve the purpose of traditional fault tree analysis.Finally, the practicability of the method is demonstrated by the case analysis.