Citation
Shanna-Shaye Forbes, Jia Zou, Slobodan Matic, Edward A. Lee. "Poster Abstract: “PtidyOS: An Operating System based on the PTIDES Programming Model”". Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.

Abstract
Abstract—Most real-time embedded software is built on programming abstractions that lack precise timing semantics. Our earlier work presented PTIDES, a programming model for distributed real-time software that delivers temporal semantics by exploiting discrete-event model of computation. In this work we introduce work we are doing to develop PtidyOS, a novel lightweight embedded operating system based on PTIDES. In PtidyOS, all event processing is done in interrupt service routines, and we only use interrupts to ensure correct mutually exclusive accesses to memory. Our approach combines PTIDES semantics with traditional scheduling methods. The first implementation leverages EDF scheduling scheme and guarantees correct event order defined by PTIDES. This is achieved without requiring totally ordered event processing. We describe a preliminary implementation on an ARM based microcontroller.

Electronic downloads

• PtidyOSPtolemyMiniConferencePoster.ppt · application/vnd.ms-powerpoint · 992 kbytes

• HTML

  Shanna-Shaye Forbes, Jia Zou, Slobodan Matic, Edward A. Lee.
  <a
  href="http://chess.eecs.berkeley.edu/pubs/579.html"
  ><i>Poster Abstract: �PtidyOS: An Operating
  System based on the PTIDES Programming
  Model�</i></a>, Talk or presentation, 
  16, April, 2009; Poster presented at the 8th Biennial
  Ptolemy Miniconference.

• Plain text

  Shanna-Shaye Forbes, Jia Zou, Slobodan Matic, Edward A. Lee.
  "Poster Abstract: �PtidyOS: An Operating System
  based on the PTIDES Programming Model�". Talk
  or presentation,  16, April, 2009; Poster presented at the
  8th Biennial Ptolemy Miniconference.

• BibTeX

  @presentation{ForbesZouMaticLee09_PosterAbstractPtidyOSOperatingSystemBasedOnPTIDES,
      author = {Shanna-Shaye Forbes and Jia Zou and Slobodan Matic
                and Edward A. Lee},
      title = {Poster Abstract: �PtidyOS: An Operating System
                based on the PTIDES Programming Model�},
      day = {16},
      month = {April},
      year = {2009},
      note = {Poster presented at the 8th Biennial Ptolemy
                Miniconference},
      abstract = {Abstract�Most real-time embedded software is
                built on programming abstractions that lack
                precise timing semantics. Our earlier work
                presented PTIDES, a programming model for
                distributed real-time software that delivers
                temporal semantics by exploiting discrete-event
                model of computation. In this work we introduce
                work we are doing to develop PtidyOS, a novel
                lightweight embedded operating system based on
                PTIDES. In PtidyOS, all event processing is done
                in interrupt service routines, and we only use
                interrupts to ensure correct mutually exclusive
                accesses to memory. Our approach combines PTIDES
                semantics with traditional scheduling methods. The
                first implementation leverages EDF scheduling
                scheme and guarantees correct event order defined
                by PTIDES. This is achieved without requiring
                totally ordered event processing. We describe a
                preliminary implementation on an ARM based
                microcontroller.},
      URL = {http://chess.eecs.berkeley.edu/pubs/579.html}
  }
  

Posted by Shanna-Shaye Forbes on 21 Apr 2009.
Groups: chess
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.