本发明涉及一种模型转换方法，用于将AADL模型转换为TASM模型，使用KM3描述源语言AADL的元模型，使用KM3描述目标语言TASM的元模型，针对AADL模型中的线程构件、分发器、模式变换、调度器，分别使用线程构件的转换方法、分发器构件的转换方法、模式变换的转换方法和调度器构件的转换方法，将AADL模型转换为TASM模型。