提出一种基于模型系统工程（MBSE）的方法，将基于系统工程航空发动机系统的研发与基于模型的研发有效结合起来：采用系统思维方法对航空发动机需求、架构及验证进行形式化表达，并采用特定域建模方法与代码生成方法实现发动机验证模型的自动生成及验证。该方法通过元元模型对航空发动机的需求、架构及验证进行元模型建模，将用于描述航空发动机研发流程的特定域模型分为3个视图，并根据不同视图实现航空发动机研发过程的信息描述。通过开发代码生成器实现航空发动机验证模型自动生成的过程，实现航空发动机验证模型的自动验证和确认。以某型航空发动机为例，验证了所提方法的有效性。
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 M0-M3 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.
[1] Prencipe A. Technological competencies and proudct's evolutionary dynamics:A case study from the aero-engine industry[J]. Research Policy, 1997, 25:1261-1276.
[2] OMG. Software & systems process engineering meta-model specification[EB/OL]. (2008-04-01)[2018-05-10]. http://deptinfo.cnam.fr/Enseignement/CycleSpecialisation/MAI/UML1.4.pdf.
[3] Holt J, Perry S. SysML for systems engineering, 2nd Edition:A model-based approach[M]. London:The Institution of Engineering and Technology, 2008:121-222.
[4] Feiler P H, Gluch D P, Hudak J J. The architecture analysis and design language (AADL)[EB/OL]. (2006-02-01)[2018-05-10]. http://www.aadl.info/aadl/currentsite/.
[5] EAST-ADL. EAST-ADL domain model specification[EB/OL]. (2013-11-28)[2018-05-10]. http://www.east-adl.info/Specification.html.
[6] Cuenot P, Chen D, Gérard S, et al. Managing complexity of automotive electronics using the EAST-ADL[C]//12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007). Piscataway, NJ:IEEE, 2007:353-358.
[7] Selic B. A systematic approach to domain-specific language design using UML[C]//10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07). Piscataway, NJ:IEEE, 2007:2-9.
[8] Cole B, Simmons J. An integrated systems modeling and analysis platform for flight project work[C]//AIAA SPACE 2016. California:AAIA, 2016:1-11.
[9] Schamai W, Fritzson P, Paredis C J J, et al. ModelicaML value bindings for automated model composition[C]//Proceedings of the 2012 Symposium on Theory of Modeling and SimulationDEVS Integrative M&S Symposium. San Diego:Society for Computer Simulation International, 2012, 31:1-8.
[10] Lawson H W. A journey through a systems landscape[M]. London:College Publications, 2010:1-20.
[11] Kelly S, Tolvanen J P. Domain-specific modeling:Enabling full code generation[M]. Los Alamitos:Wiley-IEEE Computer Society Press, 2008:1-30.
[12] Mierlo S V, Tendeloo Y V, Meyers B, et al. The handbook of formal methods in human-computer interaction[C]//Cham:Springer, 2017:435-463.
[13] Lu J, Wang J, Chen D, et al. A service-oriented tool-chain for model-based systems engineering of aero-engines[J]. IEEE Access, 2018, 6(1):50443-50458.
[14] IEEE. International standard ISO/IEC/IEEE Systems and software engineering-Architecture description[EB/OL]. (2018-10-10)[2019-01-12]. https://www.iso.org/standard/50508.html.
[15] Liu Z G, Yang M F, Chen Q, et al. An MBSE tool to support architecture design for spacecraft electrical power system[C]//INCOSE International Symposium 28. San Diego:INCOSE. 2018:1-15.
