The application relates to a model
verification method suitable for a distributed
system of SysML, Simulink and AADL, and belongs to the technical field of
system integration
verification. The method comprises the following steps: according to
model description files of SysML, Simulink and AADL, extracting model element sets and related attribute information respectively to obtain SysML, Simulink and AADL model
information mapping tables; according to selected
verification rules, obtaining required model elements and related attribute information from the SysML, Simulink and AADL model
information mapping tables; according to the selected verification rules, verifying the obtained required model elements and related attribute information, if the verification is passed, no prompt information is generated; otherwise, it is prompted that the selected verification rules are not met, and a verification result is output. The application solves the problem that the consistency, real-time performance and safety of the
design integration stage and the corresponding demand models and design models of each subsystem cannot be verified at present.