SEMANTICALLY‐ENABLED MODEL‐BASED SYSTEMS
Leonard Petnga, Mark A. Austin, Mark Blackburn · Insight · 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. Engineers encode knowledge as semantic blocks, which are an integration of ontologies, rules, and communication and computation interfaces. This paper exercises these concepts in a collision avoidance problem involving autonomous agents at a traffic intersection.