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

• http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-65.html

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