Citation
Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee, Michael Zimmer. "Deterministic Execution of Ptides Programs". Technical report, University of California, Berkeley, Technical Report No. UCB/EECS-20, May, 2013.

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,
  Michael Zimmer. <a
  href="http://chess.eecs.berkeley.edu/pubs/1012.html"
  ><i>Deterministic Execution of Ptides
  Programs</i></a>, Technical report,  University
  of California, Berkeley, Technical Report No. UCB/EECS-20,
  May, 2013.

• Plain text

  Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee,
  Michael Zimmer. "Deterministic Execution of Ptides
  Programs". Technical report,  University of California,
  Berkeley, Technical Report No. UCB/EECS-20, May, 2013.

• BibTeX

  @techreport{DerlerEidsonGooseLeeZimmer13_DeterministicExecutionOfPtidesPrograms,
      author = {Patricia Derler and John Eidson and Stuart Goose
                and Edward A. Lee and Michael Zimmer},
      title = {Deterministic Execution of Ptides Programs},
      institution = {University of California, Berkeley},
      number = {Technical Report No. UCB/EECS-20},
      month = {May},
      year = {2013},
      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://chess.eecs.berkeley.edu/pubs/1012.html}
  }
  

Posted by Mary Stewart on 19 Aug 2013.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.