Mapping subsets of SysML and Arcadia to the proposed CPS ontology

Establish whether subsets of the SysML and Arcadia modeling languages can be mapped to the ontology that captures Cyber-Physical System components, functions, resources, and their relations (partOf, has, consumes, produces, inputFrom, outputsTo), so that fault trees can be automatically synthesized from existing SysML or Arcadia system models via knowledge graph transformation.

Background

The paper proposes an ontology-driven approach for synthesizing fault trees from knowledge graphs that encode structural and functional knowledge of Cyber-Physical Systems. The ontology specifies Components, Functions (including Production and Consumption), Resources, and relations such as partOf, has, consumes, produces, inputFrom, and outputsTo. Using SPARQL queries, the method extracts functional dependency chains and redundancy structures to build fault trees without requiring explicit fault models or statistical failure data.

To broaden adoption and enable application to existing models, the authors suggest connecting prevalent MBSE languages (SysML and Arcadia) to the proposed ontology. Demonstrating a formal mapping from subsets of SysML and Arcadia to the ontology would allow model transformations into knowledge graphs suitable for the automatic synthesis of fault trees, thereby validating the hypothesis and enabling wider practical use.