*banner
 

Computing Needs Time
Edward A. Lee

Citation
Edward A. Lee. "Computing Needs Time". Talk or presentation, 7, December, 2009; Invited Talk, IIS 2009/2010 Distinguished Lecture Series, Institute of Information Science, Academia Sinica, Taipei, Taiwan.

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 prevailing abstractions used in computing, however, 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. This talk examines the obstacles in software 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 rebuild software abstractions. 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/631.html"
    ><i>Computing Needs Time</i></a>, Talk
    or presentation,  7, December, 2009; Invited Talk, IIS
    2009/2010 Distinguished Lecture Series, Institute of
    Information Science, Academia Sinica, Taipei, Taiwan.
  • Plain text
    Edward A. Lee. "Computing Needs Time". Talk or
    presentation,  7, December, 2009; Invited Talk, IIS
    2009/2010 Distinguished Lecture Series, Institute of
    Information Science, Academia Sinica, Taipei, Taiwan.
  • BibTeX
    @presentation{Lee09_ComputingNeedsTime,
        author = {Edward A. Lee},
        title = {Computing Needs Time},
        day = {7},
        month = {December},
        year = {2009},
        note = {Invited Talk, IIS 2009/2010 Distinguished Lecture
                  Series, Institute of Information Science, Academia
                  Sinica, Taipei, Taiwan},
        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 prevailing abstractions used in
                  computing, however, 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. This
                  talk examines the obstacles in software
                  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 rebuild software
                  abstractions. 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/631.html}
    }
    

Posted by Mary Stewart on 7 Dec 2009.
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.

©2002-2018 Chess