Modeling of High Speed Maglev Operation Control System Based on AADL

AADL is a formal modeling language for real-time embedded systems. This paper compares the differences between different formal modeling methods, introduces AADL modeling method into the field of high-speed maglev to model the operation control system(OCS) of high-speed maglev, and accurately describes the structure of each subsystem of OCS and the information interaction process between subsystems. This paper solves the problem that the conventional formal modeling method is insufficient to describe the system structure by OSATE tool.