The Simulink-to-Stateflow tool refactors state update logic implemented with Simulink block diagrams into Stateflow state charts. It is intended for use on fixed-step discrete block diagrams, such as those used to generate embedded software.
For instructions on installation and how to use the tool, see doc/README.txt.
For more about the theoretical background of this tool, an interested reader is referred to:
Stephen Wynn-Williams, Zinovy Diskin, Vera Pantelic, Mark Lawford, Gehan Selim, Curtis Milo, Moustapha Diab, Feisel Weslati, “SL2SF: Refactoring Simulink to Stateflow,” Fundamental Approaches to Software Engineering, Springer, 2019, 264-281.
McSCert (2020). Simulink-to-Stateflow (https://www.mathworks.com/matlabcentral/fileexchange/70317-simulink-to-stateflow), MATLAB Central File Exchange. Retrieved .
Updated cover image. Added paper reference to Description.