Citation
Jia Zou, Slobodan Matic. "PTIDES (Programming Temporally Integrated Distributed Embedded Systems) and PtidyOS". Talk or presentation, 16, April, 2009; Presented at the 8th Biennial Ptolemy Miniconference.

Abstract
PTIDES (Programming Temporally Integrated Distributed Embedded Systems) is a programming model for distributed real-time systems based on discrete-event(DE) model of computation. The time stamps of DE events are bound to physical time at real-time ports, turning the DE model into an executable specification of the system with explicit real-time constraints.We define a family of execution policies for PTIDES with varying performance and concurrency trade-offs. Our policies leverage network time synchronization to eliminate the need for null messages and allow independent events to be processed out of time stamp order. The policies are given in terms of a "safe event" predicate that depends on the time stamp of the events and the local notion of physical time. We study the effects of different operational semantics on the "safe" predicate. In a simple case we show how to statically check whether program execution satisfies timing constraints. Finally, we present two PTIDES implementations, one based on Flexotask programming platform, and the other built as the scheduler for a real-time operating system called PtidyOS.

Electronic downloads

• ptides7.pptx · application/vnd.openxmlformats-officedocument.presentationml.pre · 1284 kbytes

• HTML

  Jia Zou, Slobodan Matic. <a
  href="http://chess.eecs.berkeley.edu/pubs/556.html"
  ><i>PTIDES (Programming Temporally Integrated
  Distributed Embedded Systems) and
  PtidyOS</i></a>, Talk or presentation,  16,
  April, 2009; Presented at the 8th Biennial Ptolemy
  Miniconference.

• Plain text

  Jia Zou, Slobodan Matic. "PTIDES (Programming
  Temporally Integrated Distributed Embedded Systems) and
  PtidyOS". Talk or presentation,  16, April, 2009;
  Presented at the 8th Biennial Ptolemy Miniconference.

• BibTeX

  @presentation{ZouMatic09_PTIDESProgrammingTemporallyIntegratedDistributedEmbedded,
      author = {Jia Zou and Slobodan Matic},
      title = {PTIDES (Programming Temporally Integrated
                Distributed Embedded Systems) and PtidyOS},
      day = {16},
      month = {April},
      year = {2009},
      note = {Presented at the 8th Biennial Ptolemy
                Miniconference},
      abstract = {PTIDES (Programming Temporally Integrated
                Distributed Embedded Systems) is a programming
                model for distributed real-time systems based on
                discrete-event(DE) model of computation. The time
                stamps of DE events are bound to physical time at
                real-time ports, turning the DE model into an
                executable specification of the system with
                explicit real-time constraints.We define a family
                of execution policies for PTIDES with varying
                performance and concurrency trade-offs. Our
                policies leverage network time synchronization to
                eliminate the need for null messages and allow
                independent events to be processed out of time
                stamp order. The policies are given in terms of a
                "safe event" predicate that depends on the time
                stamp of the events and the local notion of
                physical time. We study the effects of different
                operational semantics on the "safe" predicate. In
                a simple case we show how to statically check
                whether program execution satisfies timing
                constraints. Finally, we present two PTIDES
                implementations, one based on Flexotask
                programming platform, and the other built as the
                scheduler for a real-time operating system called
                PtidyOS. },
      URL = {http://chess.eecs.berkeley.edu/pubs/556.html}
  }
  

Posted by Christopher Brooks on 17 Apr 2009.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.