Towards a Unified Framework for Cyber-Physical Systems (CPS)

Cyber-Physical Systems (CPS) integrate computation with physical processes. By merging computing and communication with physical processes CPS allows computer systems to monitor and interact with the physical world. However, today´s computing and networking abstractions do not adequately reflect the properties of the physical world. This shortcoming necessitates the development of effective methods and tools for analyzing and designing CPS. This paper analyzes the limitation of the current tools and method and proposes a unified framework for designing, simulating, and verifying CPS.