*banner
 

The Challenges of Embedded System Design
Edward A. Lee

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

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

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-2014 Chess