Citation
Patricia Derler, Jia Zou, Slobodan Matic, John Eidson. "Modeling Distributed Real-Time Systems with Ptolemy II". Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.

Abstract
The PTIDES (Programming Temporally Integrated Distributed Embedded Systems) programming model provides a discrete-event (DE) coordination language for distributed real time systems. In DE models components are coordinated via time stamped events where values of time stamps are referred to as model time. PTIDES enables the specification of real time constraints by relating time stamps of some events to physical time. This presentation describes a simulation environment for PTIDES models, which employs the DE domain in Ptolemy II and uses hierarchical composition to model the relationship between model time and physical time. The specification of timing requirements and platform specific parameters such as execution times and scheduling policies allows for an evaluation of PTIDES systems with respect to real time constraints. The combination with modal models demonstrates how the ability of PTIDES to detect missing signals can be used to implement fault tolerant systems. The simulation environment can simulate clock drift between platforms and provides a means to model clock synchronization protocols.

Electronic downloads

• 03derler_ptconf11.pdf · application/pdf · 4194 kbytes

• HTML

  Patricia Derler, Jia Zou, Slobodan Matic, John Eidson. <a
  href="http://chess.eecs.berkeley.edu/pubs/807.html"><i>Modeling
  Distributed Real-Time Systems with Ptolemy
  II</i></a>, Talk or presentation,  16, February,
  2011; Presented at the <a
  href="http://ptolemy.eecs.berkeley.edu/conferences/11"
  >Ninth Biennial Ptolemy Miniconference</a>,
  Berkeley, CA.

• Plain text

  Patricia Derler, Jia Zou, Slobodan Matic, John Eidson.
  "Modeling Distributed Real-Time Systems with Ptolemy
  II". Talk or presentation,  16, February, 2011;
  Presented at the <a
  href="http://ptolemy.eecs.berkeley.edu/conferences/11"
  >Ninth Biennial Ptolemy Miniconference</a>,
  Berkeley, CA.

• BibTeX

  @presentation{DerlerZouMaticEidson11_ModelingDistributedRealTimeSystemsWithPtolemyII,
      author = {Patricia Derler and Jia Zou and Slobodan Matic and
                John Eidson},
      title = {Modeling Distributed Real-Time Systems with
                Ptolemy II},
      day = {16},
      month = {February},
      year = {2011},
      note = {Presented at the <a
                href="http://ptolemy.eecs.berkeley.edu/conferences/11"
                >Ninth Biennial Ptolemy Miniconference</a>,
                Berkeley, CA.},
      abstract = {The PTIDES (Programming Temporally Integrated
                Distributed Embedded Systems) programming model
                provides a discrete-event (DE) coordination
                language for distributed real time systems. In DE
                models components are coordinated via time stamped
                events where values of time stamps are referred to
                as model time. PTIDES enables the specification of
                real time constraints by relating time stamps of
                some events to physical time. This presentation
                describes a simulation environment for PTIDES
                models, which employs the DE domain in Ptolemy II
                and uses hierarchical composition to model the
                relationship between model time and physical time.
                The specification of timing requirements and
                platform specific parameters such as execution
                times and scheduling policies allows for an
                evaluation of PTIDES systems with respect to real
                time constraints. The combination with modal
                models demonstrates how the ability of PTIDES to
                detect missing signals can be used to implement
                fault tolerant systems. The simulation environment
                can simulate clock drift between platforms and
                provides a means to model clock synchronization
                protocols. },
      URL = {http://chess.eecs.berkeley.edu/pubs/807.html}
  }
  

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