DMCA
Cyber Physical Systems: Design Challenges
Cached
Download Links
| Citations: | 181 - 9 self |
BibTeX
@MISC{Lee_cyberphysical,
author = {Edward A. Lee},
title = {Cyber Physical Systems: Design Challenges},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedback loops where physical processes affect computations and vice versa. The economic and societal potential of such systems is vastly greater than what has been realized, and major investments are being made worldwide to develop the technology. There are considerable challenges, particularly because the physical components of such systems introduce safety and reliability requirements qualitatively different from those in generalpurpose computing. Moreover, physical components are qualitatively different from object-oriented software components. Standard abstractions based on method calls and threads do not work. This paper examines the challenges in designing such systems, and in particular raises the question of whether today’s computing and networking technologies provide an adequate foundation for CPS. It concludes that it will not be sufficient to improve design processes, raise the level of abstraction, or verify (formally or otherwise) designs that are built on today’s abstractions. To realize the full potential of CPS, we will have to rebuild computing and networking abstractions. These abstractions will have to embrace physical dynamics and computation in a unified way. 1
Keyphrases
physical process design challenge cyber physical system physical component vice versa major investment physical dynamic adequate foundation design process standard abstraction generalpurpose computing network monitor full potential today abstraction feedback loop networking abstraction reliability requirement considerable challenge object-oriented software component cyber-physical system societal potential unified way method call
