In order to achieve airborne software high-level requirements objectives, we propose a formal method of modeling high-level requirements based on knowledge ...

Formal Modeling of Airborne Software. High-Level Requirements. Based on Knowledge Graph. Wenjuan Wu, Dianfu Ma, Yongwang Zhao, and Xianqi Zhao. School of ...

This work proposes a formal method of modeling high-level requirements based on knowledge graph and provides the modeling tool for domain experts to ...

The method gives a formal language to describe knowledge graph and constructs knowledge graph collaboratively. Then we represents high-level requirements by ...

The method gives a formal language to describe knowledge graph and constructs knowledge graph collaboratively. Then we represents high-level requirements by ...

Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao: Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. KSEM 2014: 258-269 ...

In the defence area, especially that of aerospace systems, extensive use has been made of the expertise of software and system houses in developing validation ...

Formal modelling and verification are critical for managing the inherent complexity of systems with a high degree of variability, such as those designed ...

Apr 22, 2022 · The Model-based Systems Engineering (MBSE) method is effective to support the design and verification of the aircraft PHM system.