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

• http://dx.doi.org/10.1016/j.entcs.2004.02.055

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