Citation
Charles Shelton, Beth Osyk, Ben Lickly. "Static Analysis using the Ptolemy II Ontologies Package". Talk or presentation, 16, February, 2011; Presented at the Ninth Biennial Ptolemy Miniconference, Berkeley, CA.

Abstract
The Ptolemy II Ontologies package extends the Ptolemy II type inference engine to provide an efficient and scalable framework for general static analysis of arbitrary properties on a Ptolemy model. The framework supports properties that are specified as concepts in an ontology graph that must be structured as a lattice. The usefulness of this framework is demonstrated with an example of a physical dimensions ontology. This ontology labels different signals as representing acceleration, velocity, position, and time. In a Ptolemy model of physical dynamics, the dimensional properties of input and output signals can be automatically inferred using the ontology analysis. Ptolemy model developers can use the ontologies package to define their own ontologies for structural and semantic property analysis. This can prevent interface connection problems during model construction by identifying when incompatible signals are erroneously connected. This work draws on concepts from compiler optimization static analysis techniques and applies them to Ptolemy actor-oriented models.

Electronic downloads

• 05shelton_bosch_ptolemy_miniconference_2011.pdf · application/pdf · 2295 kbytes

• HTML

  Charles Shelton, Beth Osyk, Ben Lickly. <a
  href="http://chess.eecs.berkeley.edu/pubs/809.html"><i>Static
  Analysis using the Ptolemy II Ontologies
  Package</i></a>, Talk or presentation,  16,
  February, 2011; Presented at the <a
  href="http://ptolemy.eecs.berkeley.edu/conferences/11"
  >Ninth Biennial Ptolemy Miniconference</a>,
  Berkeley, CA.

• Plain text

  Charles Shelton, Beth Osyk, Ben Lickly. "Static
  Analysis using the Ptolemy II Ontologies Package". Talk
  or presentation,  16, February, 2011; Presented at the <a
  href="http://ptolemy.eecs.berkeley.edu/conferences/11"
  >Ninth Biennial Ptolemy Miniconference</a>,
  Berkeley, CA.

• BibTeX

  @presentation{SheltonOsykLickly11_StaticAnalysisUsingPtolemyIIOntologiesPackage,
      author = {Charles Shelton and Beth Osyk and Ben Lickly},
      title = {Static Analysis using the Ptolemy II Ontologies
                Package},
      day = {16},
      month = {February},
      year = {2011},
      note = {Presented at the <a
                href="http://ptolemy.eecs.berkeley.edu/conferences/11"
                >Ninth Biennial Ptolemy Miniconference</a>,
                Berkeley, CA.},
      abstract = {The Ptolemy II Ontologies package extends the
                Ptolemy II type inference engine to provide an
                efficient and scalable framework for general
                static analysis of arbitrary properties on a
                Ptolemy model. The framework supports properties
                that are specified as concepts in an ontology
                graph that must be structured as a lattice. The
                usefulness of this framework is demonstrated with
                an example of a physical dimensions ontology. This
                ontology labels different signals as representing
                acceleration, velocity, position, and time. In a
                Ptolemy model of physical dynamics, the
                dimensional properties of input and output signals
                can be automatically inferred using the ontology
                analysis. Ptolemy model developers can use the
                ontologies package to define their own ontologies
                for structural and semantic property analysis.
                This can prevent interface connection problems
                during model construction by identifying when
                incompatible signals are erroneously connected.
                This work draws on concepts from compiler
                optimization static analysis techniques and
                applies them to Ptolemy actor-oriented models.},
      URL = {http://chess.eecs.berkeley.edu/pubs/809.html}
  }
  

Posted by Christopher Brooks on 18 Feb 2011.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.