Formalization of Cyber-Physical System Interface using Discrete Event System Specifications

Cyber-Physical systems are complex engineered systems that integrate embedded computing into the physical environment. These systems are considered to be "safety-critical" due to their application in the field of medical, transportation, or building control. CPS is composed of tight coupling of the physical and cyber worlds, and the interfaces are interactions that are defined as a bridge between these worlds. The interface is a fundamental characteristic of a CPS and CPS cannot function without it. In this thesis, we propose an architecture named DEVS CPS Interface Framework (DCIF) that portrays the complete working of the CPS interface. We also implement and evaluate this interface on real-time hardware. The architecture is verified by creating 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.