*banner
 

Design Challenges for Cyber-Physical Systems
Edward A. Lee

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

Citation formats  
  • 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.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in 
©2002-2017 Chess