An aircraft assembly process formalism and verification method based on semantic modeling and MBSE

The aircraft assembly system is highly complex involving different stakeholders from multiple domains. The design of such a system requires comprehensive consideration of various industrial scenarios aiming to optimize key performance indicators. Traditional design methods heavily rely on domain expert knowledge using documents to define assembly solutions which are later verified through simulations. However, these document -centric approaches cannot provide graphical notations for engineers to efficiently understand the entire assembly process. Moreover, it is difficult to analyze the performance of the designed assembly processes using simulations since the simulation models have to be developed based on the documents manually rather than be generated automatically from the design models. In this paper, a semantic -driven approach is proposed to support aircraft assembly process formalism and performance analysis. First, meta -models of aircraft assembly processes are developed based on SysML and discrete -event simulation models using a semantic modeling language named KARMA. Then an application ontology is defined for generating semantic models from KARMA architecture models to capture domain knowledge, system requirements and simulation model information of the aircraft assembly process. A model transformer is developed to transform the KARMA models to discrete -event simulation models based on the application ontology. Then the generated simulation models are executed to obtain the simulation results for verifying the designed assembly process. Finally, the obtained simulation results are used to support decision -making of selecting the optimal aircraft assembly process. A case study is conducted to verify the proposed method.