A model-based systems engineering (MBSE) approach is proposed to formalize aero-engine development with model-based design, which is developed based on a systemic thinking approach to support analysis of aero-engine systems, such as requirement, architecture, verification and validation. Moreover, a domain-specific modeling (DSM) approach is developed under an M₀-M₃ modeling framework that includes meta-meta model, meta-model and model. The DSM approach is used to formalize views of products and implement automated verification and validation using code-generation. In this paper, a case study including four graphs is used to represent development information from different views based on GOPPRR meta-meta models. In addition, one code-generation algorithm is developed to support transformation from DSM models to Simulink models for verification. The result shows that the proposed aeroengine example indeed verifies the flexibility of the DSM approaches.

aero-engine development  /  MBSE  /  domain specific modeling  /  code generator  /  automated verification