*banner
 

Static Analysis using the Ptolemy II Ontologies Package
Charles Shelton, Beth Osyk, Ben Lickly

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

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

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

©2002-2018 Chess