AS emantic Framework for Modeling and Simulation of Cyber-Physical Systems

This paper describes a new semantic framework for model-based systems engineering, requirements traceability, and system simulation and assessment of cyber-physical systems (CPSs). When fully developed this environment will support the organization and integration of hierarchies of physical and software components, and perform analysis on their discrete and continuous behavior. Results of computational analysis will work alongside domain ontologies for decision making and rule checking procedures. To support the modeling and simulation of physical system behavior, and integration of the physical and cyber domains, we introduce Whistle, a new scripting language where physical units are embedded within the basic data types, matrices, and method interfaces to external object-oriented software packages. The capabilities of Whistle are demonstrated through a series of progressively complicated applications.