摘要: Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers networks monitor control the processes, usually with feedback loops where processes affect computations vice versa. The economic societal potential such systems is vastly greater than what has been realized, major investments being made worldwide to develop technology. There considerable challenges, particularly because components introduce safety reliability requirements qualitatively different from those in general- purpose computing. Moreover, object-oriented software components. Standard abstractions based on method calls threads do not work. This paper examines challenges designing systems, particular raises question whether today's computing networking technologies provide an adequate foundation for CPS. It concludes that it will be sufficient improve design raise level abstraction, or verify (formally otherwise) designs built abstractions. To realize full CPS, we have rebuild These embrace dynamics a unified way.