*banner
 

Modeling Distributed Real-Time Systems with Ptolemy II
Patricia Derler, Jia Zou, Slobodan Matic, John Eidson

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

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

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.

©2002-2018 Chess