Abstract: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.

General Modeling Language to Support Model‐based Systems Engineering Formalisms (part 1)

General Modeling Language Supporting Model Transformations of MBSE (part 2)

Semantic Model‐based Systems Engineering based on KARMA: A Research and Practice Roadmap 2025

Integration of Modeling and Verification for System Model Based on KARMA Language.

Design Ontology Supporting Model-based Systems-engineering Formalisms

Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development

Model-based Systems Engineering Supporting Cost Analysis of Aircraft Development Process

A Knowledge Management Approach Supporting Model-Based Systems Engineering

A Semantics Modeling Approach Supporting Property Verification Based on Satisfiability Modulo Theories

A semantic model-based systems engineering approach for assessing the operational performance of metal forming process

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

A Service-oriented Approach Supporting Model Integration in Model-based Systems Engineering

Ontology Supporting Model-Based Systems Engineering Based on a GOPPRR Approach

Code Generation Approach Supporting Complex System Modeling Based on Graph Pattern Matching

A Sysml-Based Modeling Language For Mechatronic System Architecture

A Complexity Analysis Approach for Model-based System Engineering

MBSE Application for Functions Validation

Research and design of a meta-modeling platform for model driven development

A Model Query Language for Domain-Specific Models

An Integrated Intelligent Modeling and Simulation Language for Model-based Systems Engineering

Integration Of System-Level Design And Analysis Models Of Mechatronic System Behavior Based On Sysml And Simscape