Citation
Edward A. Lee. "Synthesis of Distributed Real-Time Embedded Software". Talk or presentation, 5, June, 2011; Keynote talk, Electronic System Level Synthesis Conference, June 5-6, 2011, San Diego, California.

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, but most particularly in cyber-physical systems, where temporal behavior affects not just the value delivered by a system but also its correctness. In this talk, I will describe a recent effort at Berkeley called PTIDES, a programming model for distributed real-time systems, and PtidyOS, a lightweight microkernel supporting PTIDES. PTIDES rests on a rigorous semantics of discrete-event systems and reflects the realities in distributed real-time, where measuring the passage of time is imperfect. PTIDES enables deterministic time-sensitive distributed actions. It relies on certain assumptions about networks that are not trivial (time synchronization with bounded error and bounded latency), but which have been shown in some contexts to be achievable and economical.

Electronic downloads

• Synthesis_ESL_DAC.pdf · application/pdf · 1994 kbytes

• HTML

  Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/841.html"
  ><i>Synthesis of Distributed Real-Time Embedded
  Software</i></a>, Talk or presentation,  5,
  June, 2011; Keynote talk, Electronic System Level Synthesis
  Conference,
  June 5-6, 2011,
  San Diego, California.

• Plain text

  Edward A. Lee. "Synthesis of Distributed Real-Time
  Embedded Software". Talk or presentation,  5, June,
  2011; Keynote talk, Electronic System Level Synthesis
  Conference,
  June 5-6, 2011,
  San Diego, California.

• BibTeX

  @presentation{Lee11_SynthesisOfDistributedRealTimeEmbeddedSoftware,
      author = {Edward A. Lee},
      title = {Synthesis of Distributed Real-Time Embedded
                Software},
      day = {5},
      month = {June},
      year = {2011},
      note = {Keynote talk, Electronic System Level Synthesis
                Conference,
  June 5-6, 2011,
  San Diego, California},
      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, but most particularly in cyber-physical
                systems, where temporal behavior affects not just
                the value delivered by a system but also its
                correctness. In this talk, I will describe a
                recent effort at Berkeley called PTIDES, a
                programming model for distributed real-time
                systems, and PtidyOS, a lightweight microkernel
                supporting PTIDES. PTIDES rests on a rigorous
                semantics of discrete-event systems and reflects
                the realities in distributed real-time, where
                measuring the passage of time is imperfect. PTIDES
                enables deterministic time-sensitive distributed
                actions. It relies on certain assumptions about
                networks that are not trivial (time
                synchronization with bounded error and bounded
                latency), but which have been shown in some
                contexts to be achievable and economical. },
      URL = {http://chess.eecs.berkeley.edu/pubs/841.html}
  }
  

Posted by Mary Stewart on 7 Jun 2011.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.