Formalizing Cyber-Physical System Interfaces Using Devs

Cyber-Physical Systems (CPS) integrate embedded computing into the physical environment. CPS are composed of tight coupling of the physical and cyber worlds, and the interfaces are interactions that are defined as a bridge between these worlds. We introduce an architecture of the CPS interface using Discrete EVent System Specifications (DEVS) that mimics the functionality of CPS interactions. We propose a DEVS model that portrays the complete working of the CPS interface, and we also implement and evaluate this interface on real-time hardware. The architecture is tested by building a synthetic environment that includes multiple test cases in the simulation as well as real-time implementation. Additionally, we apply this framework to a practical case study in the field of building information modeling.