Citation
Edward A. Lee. "The Challenges of Embedded System Design". Talk or presentation, 1, February, 2012; Invited talk, Xilinx Emerging Technology Sympoisum (ETS), San Jose, CA.

Abstract
All widely used software abstractions lack temporal semantics. The notion of correct execution of a program written in every widely-used programming language today does not depend on the temporal behavior of the program. But temporal behavior matters in almost all systems, particularly in networked systems. Even in systems with no particular real-time requirements, timing of programs is relevant to the value delivered by programs, and in the case of concurrent and distributed programs, also affects the functionality. In systems with real-time requirements, including most embedded systems, temporal behavior affects not just the value delivered by a system but also its correctness.

This talk will argue that time can and must become part of the semantics of programs for a large class of applications. It will argue that temporal behavior is not always just a performance metric, but is often rather a correctness criterion. To illustrate that this is both practical and useful, we will describe recent efforts at Berkeley in the design and analysis of timing-centric software systems. In particular, we will focus on two projects, PRET, which seeks to provide computing platforms with repeatable timing, and PTIDES, which provides a programming model for distributed real-time systems.

Electronic downloads

• Xilinx_EmbeddedSystemDesign.ppt · application/vnd.ms-powerpoint · 13664 kbytes
• Xilinx_EmbeddedSystemDesign.pdf · application/pdf · 13701 kbytes

• HTML

  Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/897.html"
  ><i>The Challenges of Embedded System
  Design</i></a>, Talk or presentation,  1,
  February, 2012; <i>Invited talk</i>, Xilinx
  Emerging Technology Sympoisum (ETS), San Jose, CA.

• Plain text

  Edward A. Lee. "The Challenges of Embedded System
  Design". Talk or presentation,  1, February, 2012;
  <i>Invited talk</i>, Xilinx Emerging Technology
  Sympoisum (ETS), San Jose, CA.

• BibTeX

  @presentation{Lee12_ChallengesOfEmbeddedSystemDesign,
      author = {Edward A. Lee},
      title = {The Challenges of Embedded System Design},
      day = {1},
      month = {February},
      year = {2012},
      note = {<i>Invited talk</i>, Xilinx Emerging Technology
                Sympoisum (ETS), San Jose, CA},
      abstract = {All widely used software abstractions lack
                temporal semantics. The notion of correct
                execution of a program written in every
                widely-used programming language today does not
                depend on the temporal behavior of the program.
                But temporal behavior matters in almost all
                systems, particularly in networked systems. Even
                in systems with no particular real-time
                requirements, timing of programs is relevant to
                the value delivered by programs, and in the case
                of concurrent and distributed programs, also
                affects the functionality. In systems with
                real-time requirements, including most embedded
                systems, temporal behavior affects not just the
                value delivered by a system but also its
                correctness. <p> This talk will argue that time
                can and must become part of the semantics of
                programs for a large class of applications. It
                will argue that temporal behavior is not always
                just a performance metric, but is often rather a
                correctness criterion. To illustrate that this is
                both practical and useful, we will describe recent
                efforts at Berkeley in the design and analysis of
                timing-centric software systems. In particular, we
                will focus on two projects, PRET, which seeks to
                provide computing platforms with repeatable
                timing, and PTIDES, which provides a programming
                model for distributed real-time systems.},
      URL = {http://chess.eecs.berkeley.edu/pubs/897.html}
  }
  

Posted by Mary Stewart on 9 Mar 2012.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.