9.1.1 Semantic Platforms for Cyber‐Physical Systems
Leonard Petnga, Mark A. Austin · INCOSE International Symposium · 2014
Abstract This paper describes the development of semantic platforms to support the modeling, architectural design, realization, and operation of cyber‐physical systems. Platform architectures work directly with formal models of domain knowledge (not just raw data) that are determinate, provable (ambiguity free), executable, and with semantic parameters and rule engines that reason with physical quantities and across domains. These concepts are exercised in a case study application: the “decision‐dilemma problem” for traffic systems.