Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS)

Abstract

Abstract — Cyber-Physical Systems (CPS) inte-grate computation with physical processes. By merg-ing computing and communication with physical pro-cesses CPS allows computer systems to monitor and interact with the physical world. However, today’s computing and networking abstractions do not ade-quately reflect the properties of the physical world. This shortcoming necessitates the development of ef-fective methods and tools for analyzing and designing CPS. This paper analyzes the limitations of the cur-rent tools and methods by illustrating a motivating example of health care systems and proposes a uni-fied framework for designing, simulating, and verify-ing CPS.