Deterministic Execution of Ptides Programs

Patricia Derler, John Eidson, Stuart Goose, Edward A. Lee and Michael Zimmer

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2013-65
May 15, 2013

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

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.


BibTeX citation:

@techreport{Derler:EECS-2013-65,
    Author = {Derler, Patricia and Eidson, John and Goose, Stuart and Lee, Edward A. and Zimmer, Michael},
    Title = {Deterministic Execution of Ptides Programs},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2013},
    Month = {May},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-65.html},
    Number = {UCB/EECS-2013-65},
    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.}
}

EndNote citation:

%0 Report
%A Derler, Patricia
%A Eidson, John
%A Goose, Stuart
%A Lee, Edward A.
%A Zimmer, Michael
%T Deterministic Execution of Ptides Programs
%I EECS Department, University of California, Berkeley
%D 2013
%8 May 15
%@ UCB/EECS-2013-65
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2013/EECS-2013-65.html
%F Derler:EECS-2013-65