Clone Detection in Matlab Stateflow Models

Thomas Roy Dean, Jian Chen, Manar H Alalfi

Abstract


Matlab Simulink is one of the leading tools for model based software development in the automotive industry. One extension to Simulink is Stateflow, which allows the user to embed Statecharts as components in a Simulink Model. These state machines contain nested states, an action language that describes events, guards, conditions and actions and complex transitions. As Stateflow has become increasingly important in Simulink models for the automotive sector, we extend previous work on clone detection of Simulink models to Stateflow components.


Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.63.920

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.63.920.905

Hosted By Universit├Ątsbibliothek TU Berlin.