*banner
 

Semantic Translation of Simulink/Stateflow models to Hybrid Automata using GReAT
Aditya Agrawal, Gyula Simon, Gabor Karsai

Citation
Aditya Agrawal, Gyula Simon, Gabor Karsai. "Semantic Translation of Simulink/Stateflow models to Hybrid Automata using GReAT". Proceedings of International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT) 2004. Electronic Notes in Theoretical Computer Science (ENTCS), December, 2004.

Abstract
Embedded systems are often modeled using Matlab's Simulink and Stateflow (MSS), to simulate plant and controller behavior but these models lack support for formal verification. On the other hand verification techniques and tools do exist for models based on the notion of Hybrid Automata (HA) but there are no tools that can convert Simulink/Stateflow models into their semantically equivalent Hybrid Automata models. This paper describes a translation algorithm that converts a well-defined subset of the MSS modeling language into the equivalent hybrid automata. The translation has been specified and implemented using a metamodel-based graph transformation tool. The translation process allows semantic interoperability between the industry-standard MSS tools and the new verification tools developed in the research community.

Electronic downloads

Citation formats  
  • HTML
    Aditya Agrawal, Gyula Simon, Gabor Karsai. <a
    href="http://chess.eecs.berkeley.edu/pubs/752.html"
    >Semantic Translation of Simulink/Stateflow models to
    Hybrid Automata using GReAT</a>, Proceedings of
    International Workshop on Graph Transformation and Visual
    Modeling Techniques (GT-VMT) 2004.  Electronic Notes in
    Theoretical Computer Science (ENTCS), December, 2004.
  • Plain text
    Aditya Agrawal, Gyula Simon, Gabor Karsai. "Semantic
    Translation of Simulink/Stateflow models to Hybrid Automata
    using GReAT". Proceedings of International Workshop on
    Graph Transformation and Visual Modeling Techniques (GT-VMT)
    2004.  Electronic Notes in Theoretical Computer Science
    (ENTCS), December, 2004.
  • BibTeX
    @inproceedings{AgrawalSimonKarsai04_SemanticTranslationOfSimulinkStateflowModelsToHybrid,
        author = {Aditya Agrawal and Gyula Simon and Gabor Karsai},
        title = {Semantic Translation of Simulink/Stateflow models
                  to Hybrid Automata using GReAT},
        booktitle = {Proceedings of International Workshop on Graph
                  Transformation and Visual Modeling Techniques
                  (GT-VMT) 2004.  Electronic Notes in Theoretical
                  Computer Science (ENTCS)},
        month = {December},
        year = {2004},
        abstract = {Embedded systems are often modeled using Matlab's
                  Simulink and Stateflow (MSS), to simulate plant
                  and controller behavior but these models lack
                  support for formal verification. On the other hand
                  verification techniques and tools do exist for
                  models based on the notion of Hybrid Automata (HA)
                  but there are no tools that can convert
                  Simulink/Stateflow models into their semantically
                  equivalent Hybrid Automata models. This paper
                  describes a translation algorithm that converts a
                  well-defined subset of the MSS modeling language
                  into the equivalent hybrid automata. The
                  translation has been specified and implemented
                  using a metamodel-based graph transformation tool.
                  The translation process allows semantic
                  interoperability between the industry-standard MSS
                  tools and the new verification tools developed in
                  the research community.},
        URL = {http://chess.eecs.berkeley.edu/pubs/752.html}
    }
    

Posted by Christopher Brooks on 4 Nov 2010.
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