Specification, Analyzing Challenges and Approaches 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 limitations of the current tools and methods by illustrating a motivating example of health care systems and proposes a unified framework for designing, simulating, and verifying CPS.