Citation
Edward A. Lee. "Design Challenges for Cyber-Physical Systems". Talk or presentation, 18, March, 2010; Strategies for Embedded Computing Research International policy conference.

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. These systems are multi-scale and heterogeneous, mixing wide ranges of technologies. One of the key challenges is that prevailing abstractions used in computing do not mesh well with the physical world. Most critically, software systems speak about the passage of time only very indirectly and in non-compositional ways, whereas for physical systems, the passage of time is intrinsic in their dynamic behavior. This talk examines the obstacles in software and networking technologies that are impeding progress, and in particular raises the question of whether today's computing and networking technologies provide an adequate foundation for CPS. It argues 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 modify key software technologies. These abstractions will have to embrace physical dynamics and computation in a unified way. This talk will discuss research challenges and potential solutions.

Electronic downloads

• CyberPhysical_Vienna.pdf · application/pdf · 1869 kbytes

• HTML

  Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/766.html"
  ><i>Design Challenges for Cyber-Physical
  Systems</i></a>, Talk or presentation,  18,
  March, 2010; <i>Strategies for Embedded Computing
  Research
  International policy conference</i>.

• Plain text

  Edward A. Lee. "Design Challenges for Cyber-Physical
  Systems". Talk or presentation,  18, March, 2010;
  <i>Strategies for Embedded Computing Research
  International policy conference</i>.

• BibTeX

  @presentation{Lee10_DesignChallengesForCyberPhysicalSystems,
      author = {Edward A. Lee},
      title = {Design Challenges for Cyber-Physical Systems},
      day = {18},
      month = {March},
      year = {2010},
      note = {<i>Strategies for Embedded Computing Research
                International policy conference</i>.},
      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. These systems are multi-scale and
                heterogeneous, mixing wide ranges of technologies.
                One of the key challenges is that prevailing
                abstractions used in computing do not mesh well
                with the physical world. Most critically, software
                systems speak about the passage of time only very
                indirectly and in non-compositional ways, whereas
                for physical systems, the passage of time is
                intrinsic in their dynamic behavior. This talk
                examines the obstacles in software and networking
                technologies that are impeding progress, and in
                particular raises the question of whether today's
                computing and networking technologies provide an
                adequate foundation for CPS. It argues 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 modify key
                software technologies. These abstractions will
                have to embrace physical dynamics and computation
                in a unified way. This talk will discuss research
                challenges and potential solutions.},
      URL = {http://chess.eecs.berkeley.edu/pubs/766.html}
  }
  

Posted by Mary Stewart on 8 Nov 2010.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.