It's About Time
Edward A. Lee

Citation
Edward A. Lee. "It's About Time". Talk or presentation, 13, March, 2013; Presented at the Swarm Lab Seminar Series, Berkeley.

Abstract
Cyber-physical systems integrate sensors, actuators, computation, and networking with physical systems. The behavior of such systems, most particularly their temporal dynamics, depend on the timing of actions taken by software components. Yet today, nearly all widely used software and networking abstractions lack temporal semantics. The notion of correct execution of a program written in every widely-used programming language and in nearly every processor instruction-set today does not depend on the timing of the execution, and the correctness (vs. performance) of network behavior also does not depend on timing. This situation is changing. Networking techniques such as precision-time protocols (PTP), Synchronous Ethernet, Time-Triggered Ethernet, Audio Video Bridging (AVB), and various wireless protocols are endowing networks with control over timing. This talk will discuss the implications of this change on the design of cyber-physical system software. It will show through an existence proof that determinate temporal behavior is possible in distributed software systems.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Edward A. Lee. <a
  href="http://www.terraswarm.org/pubs/43.html"><i>It's
  About Time</i></a>, Talk or presentation,  13,
  March, 2013; Presented at the <a
  href="http://swarmlab.eecs.berkeley.edu/swarm-lab-seminar-series-0"
  >Swarm Lab Seminar Series</a>, Berkeley.

• Plain text

  Edward A. Lee. "It's About Time". Talk or
  presentation,  13, March, 2013; Presented at the <a
  href="http://swarmlab.eecs.berkeley.edu/swarm-lab-seminar-series-0"
  >Swarm Lab Seminar Series</a>, Berkeley.

• BibTeX

  @presentation{Lee13_ItsAboutTime,
      author = {Edward A. Lee},
      title = {It's About Time},
      day = {13},
      month = {March},
      year = {2013},
      note = {Presented at the <a
                href="http://swarmlab.eecs.berkeley.edu/swarm-lab-seminar-series-0"
                >Swarm Lab Seminar Series</a>, Berkeley.},
      abstract = {Cyber-physical systems integrate sensors,
                actuators, computation, and networking with
                physical systems. The behavior of such systems,
                most particularly their temporal dynamics, depend
                on the timing of actions taken by software
                components. Yet today, nearly all widely used
                software and networking abstractions lack temporal
                semantics. The notion of correct execution of a
                program written in every widely-used programming
                language and in nearly every processor
                instruction-set today does not depend on the
                timing of the execution, and the correctness (vs.
                performance) of network behavior also does not
                depend on timing. This situation is changing.
                Networking techniques such as precision-time
                protocols (PTP), Synchronous Ethernet,
                Time-Triggered Ethernet, Audio Video Bridging
                (AVB), and various wireless protocols are endowing
                networks with control over timing. This talk will
                discuss the implications of this change on the
                design of cyber-physical system software. It will
                show through an existence proof that determinate
                temporal behavior is possible in distributed
                software systems.},
      URL = {http://terraswarm.org/pubs/43.html}
  }
  

Posted by Christopher Brooks on 20 Mar 2013.
Groups: tools