Using Ptides and Synchronized Clocks to Design Distributed Systems with Deterministic Systemwide Timing
Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee, Slobodan Matic, Michael Zimmer

Citation
Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee, Slobodan Matic, Michael Zimmer. "Using Ptides and Synchronized Clocks to Design Distributed Systems with Deterministic Systemwide Timing". Technical report, IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, September, 2013; 2013 International IEEE Symposium on Precision Clock Synchronization for Measurement, Control and Communication, September 22-27, 2013, Lemgo, Germany.

Abstract
This paper discusses the use of the Ptides model of computation as a coordination language for the design of deterministic, event-driven, real-time, distributed embedded systems. Specifically, the paper shows how the use of synchronized clocks in the context of Ptides enables explicit, platform independent specification of functionality and timing. From this specification, we generate code for two target platforms: Renesas and XMOS. The generated code includes a lightweight operating system which performs scheduling, I/O and network handling as well as application specific tasks. Ptides models are developed in Ptolemy, a design and simulation environment for heterogeneous systems. This framework also contains a code generation framework which is leveraged to derive Ptides implementations from the models. We illustrate our approach by designing a simple Ptides application, a small component in a printing press responsible for on-the-fly changeover between paper rolls. We demonstrate the design process and show that the generated code exhibits identical timing at the cyber-physical boundary on multiple implementation platforms.

Electronic downloads

Citation formats  
  • HTML
    Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee,
    Slobodan Matic, Michael Zimmer. <a
    href="http://www.icyphy.org/pubs/33.html"
    ><i>Using Ptides and Synchronized Clocks to Design
    Distributed Systems with Deterministic Systemwide
    Timing</i></a>, Technical report,  IEEE
    Symposium on Precision Clock Synchronization for
    Measurement, Control and Communication, September, 2013;
    2013 International IEEE Symposium on Precision Clock
    Synchronization for Measurement, Control and Communication,
    September 22-27, 2013, Lemgo, Germany.
  • Plain text
    Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee,
    Slobodan Matic, Michael Zimmer. "Using Ptides and
    Synchronized Clocks to Design Distributed Systems with
    Deterministic Systemwide Timing". Technical report, 
    IEEE Symposium on Precision Clock Synchronization for
    Measurement, Control and Communication, September, 2013;
    2013 International IEEE Symposium on Precision Clock
    Synchronization for Measurement, Control and Communication,
    September 22-27, 2013, Lemgo, Germany.
  • BibTeX
    @techreport{DerlerEidsonGooseLeeMaticZimmer13_UsingPtidesSynchronizedClocksToDesignDistributedSystems,
        author = {Patricia Derler and John Eidson and Stuart Goose
                  and Edward A. Lee and Slobodan Matic and Michael
                  Zimmer},
        title = {Using Ptides and Synchronized Clocks to Design
                  Distributed Systems with Deterministic Systemwide
                  Timing},
        institution = {IEEE Symposium on Precision Clock Synchronization
                  for Measurement, Control and Communication},
        month = {September},
        year = {2013},
        note = {2013 International IEEE Symposium on Precision
                  Clock Synchronization for Measurement, Control and
                  Communication, September 22-27, 2013, Lemgo,
                  Germany.},
        abstract = {This paper discusses the use of the Ptides model
                  of computation as a coordination language for the
                  design of deterministic, event-driven, real-time,
                  distributed embedded systems. Specifically, the
                  paper shows how the use of synchronized clocks in
                  the context of Ptides enables explicit, platform
                  independent specification of functionality and
                  timing. From this specification, we generate code
                  for two target platforms: Renesas and XMOS. The
                  generated code includes a lightweight operating
                  system which performs scheduling, I/O and network
                  handling as well as application specific tasks.
                  Ptides models are developed in Ptolemy, a design
                  and simulation environment for heterogeneous
                  systems. This framework also contains a code
                  generation framework which is leveraged to derive
                  Ptides implementations from the models. We
                  illustrate our approach by designing a simple
                  Ptides application, a small component in a
                  printing press responsible for on-the-fly
                  changeover between paper rolls. We demonstrate the
                  design process and show that the generated code
                  exhibits identical timing at the cyber-physical
                  boundary on multiple implementation platforms.},
        URL = {http://icyphy.org/pubs/33.html}
    }
    

Posted by Mary Stewart on 16 Aug 2013.
For additional information, see the Publications FAQ or contact webmaster at icyphy org.

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.