Semantically‐enabled Model‐based Systems Engineering of Safety‐critical Network of Systems
Leonard Petnga, Mark A. Austin, Mark Blackburn · INCOSE International Symposium · 2017
Abstract This paper describes a novel approach to the development and integration of semantics to the model‐based systems engineering and operation of safety‐critical network of systems. Engineering models work directly with formal domain and meta‐domain (especially time and space) knowledge that are determinate, provable (ambiguity free) and executable. Knowledge is encoded as semantic blocks, which are an integration of ontologies, rules, and communication and computation interfaces. These concepts are exercised in a collision avoidance problem involving autonomous agents at a traffic intersection.