Abstract:The Prognostic and Health Management (PHM) system of an aircraft has complex structures and diverse functions. It is highly coupled with other systems, such as the avionics system and flight management system. The Model-based Systems Engineering (MBSE) method is effective to support the design and verification of the aircraft PHM system. As a powerful semantic web construction method, ontology has been widely used to express design information, such as the concepts and the relationships between them. However, traditional graphical MBSE models have a natural weakness in transforming into ontology. In this paper, a semantic MBSE method is proposed to support the transform of the ontology model. Firstly, according to the design characteristics of the aircraft PHM system, a meta-model library of the aircraft PHM system is developed to support the design and evaluation. An MBSE modeling method based on requirement analysis, function analysis, logical architecture design, and physic architecture design is applied in the PHM design process. Secondly, the semantic system modeling language KARMA based on “graph, object, property, point, relationship, role, and extension” (GOPPRRE) is used to transfer the graphical MBSE model to the semantic MBSE model, which can be easily transformed to an ontology model. Finally, an ontology based on semantic modeling is developed to describe the MBSE entities and to support MBSE design. In this paper, a case study of an aircraft fuel PHM system is carried out to validate the proposed method. Based on the developed meta-model library, a complete MBSE design process for the aircraft PHM system is realized. And then an ontology model supporting PHM system design is generated from the semantic MBSE model. The MBSE ontology provides a shareable capability to help designers communicate effectively. Quantitative analysis based on ontology is also provided to verify the complexity and scale of the MBSE design process. Moreover, logical reasoning ability can also be provided to support the early requirement traceability for MBSE design. In general, the case study results show the feasibility and effectiveness of the proposed method for the aircraft PHM system design.

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

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

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

Using semantic technology to enhance ESB capabilities

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

Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft Development

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

Design Ontology Supporting Model-based Systems-engineering Formalisms

A Semantic Ontology-Based Approach to Support Model-Based Systems Engineering Design for an Aircraft Prognostic Health Management System

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

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

3D Visualization Supporting Situational Awareness of Model-Based System of Systems

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

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

Model-based System Engineering Supporting Production Scheduling Based on Satisfiability Modulo Theory

An automated tool for semantic accessing to formal software models.

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

Semantic Modeling Supporting Discrete Event Simulation for Aircraft Assembly Process

A Knowledge Management Approach Supporting Model-Based Systems Engineering

SES-X: A MBSE Methodology Based on SES/MB and X Language

Symbol Semantic Model Supporting Axiomatic Design