Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report

Edward A. Lee

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2007-72
May 21, 2007

http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-72.pdf

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 general-purpose computing. This report examines the potential technical obstacles impeding progress, 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.


BibTeX citation:

@techreport{Lee:EECS-2007-72,
    Author = {Lee, Edward A.},
    Title = {Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2007},
    Month = {May},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-72.html},
    Number = {UCB/EECS-2007-72},
    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 general-purpose computing. This report examines the potential technical obstacles impeding progress, 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.}
}

EndNote citation:

%0 Report
%A Lee, Edward A.
%T Computing Foundations and Practice for Cyber-Physical Systems: A Preliminary Report
%I EECS Department, University of California, Berkeley
%D 2007
%8 May 21
%@ UCB/EECS-2007-72
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2007/EECS-2007-72.html
%F Lee:EECS-2007-72