The Simulation of Synchronous Reactive Systems in Ptolemy II

Paul Whitaker

EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M01/20
May 2001

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/ERL-01-20.pdf

The Synchronous Reactive (SR) domain in Ptolemy II models systems as components with both infinite processing resources and infinite communication bandwidth. Computation within components and data transfer between components are considered to happen instantaneously. Therefore, a given system is simulated as if all of its components execute and produce outputs at the same time. This raises interesting issues, particularly in systems with feedback. To guarantee a deterministic model of computation, outputs are permitted to have undefined value, and certain constraints are imposed on component behavior. Specialized components, such as finite state machines, may execute even when some inputs are undefined, producing only those outputs that can be determined from the defined inputs. This report outlines the semantics of the SR model of computation and describes its implementation as a domain in Ptolemy II.

BibTeX citation:

@mastersthesis{Whitaker:M01/20,
    Author = {Whitaker, Paul},
    Title = {The Simulation of Synchronous Reactive Systems in Ptolemy II},
    School = {EECS Department, University of California, Berkeley},
    Year = {2001},
    Month = {May},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/9582.html},
    Number = {UCB/ERL M01/20},
    Abstract = {The Synchronous Reactive (SR) domain in Ptolemy II models systems as components with both infinite processing resources and infinite communication bandwidth. Computation within components and data transfer between components are considered to happen instantaneously. Therefore, a given system is simulated as if all of its components execute and produce outputs at the same time. This raises interesting issues, particularly in systems with feedback. To guarantee a deterministic model of computation, outputs are permitted to have undefined value, and certain constraints are imposed on component behavior. Specialized components, such as finite state machines, may execute even when some inputs are undefined, producing only those outputs that can be determined from the defined inputs. This report outlines the semantics of the SR model of computation and describes its implementation as a domain in Ptolemy II.}
}

EndNote citation:

%0 Thesis
%A Whitaker, Paul
%T The Simulation of Synchronous Reactive Systems in Ptolemy II
%I EECS Department, University of California, Berkeley
%D 2001
%@ UCB/ERL M01/20
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2001/9582.html
%F Whitaker:M01/20