McSCert’s tool Simulink-to-Stateflow has been selected as File Exchange Pick of the Week* by MathWorks. The tool was developed during a collaboration with a large automotive OEM (Original Equipment Manufacturer). The Simulink-to-Stateflow tool refactors stateful 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. The tool can be downloaded here:
For more on the tool, including its theoretical foundations, an interested reader is referred to:
Wynn-Williams, S., Diskin, Z., Pantelic, V., Lawford, M., Selim, G., Milo, C., Diab, M., Weslati, F., “SL2SF: Refactoring Simulink to Stateflow,” In 22nd International Conference on Fundamental Approaches to Software Engineering (FASE), Lecture Notes in Computer Science, Vol. 11424, Springer, Cham, 264–281, 2019, https://doi.org/10.1007/978-3-030-16722-6_15.
*Matlab and Simulink, by MathWorks, are widely used in both industry and academia to solve complex problems in aerospace, automotive and other application domains. Users can submit and share their Matlab applications, functions, models, and other creations to MathWorks’ online archive called Matlab Central File Exchange. There are presently close to 40,000 contributions, with a continued growth rate at approximately 100 submissions per month. The File Exchange Pick of the Week is a weekly blog highlighting the “best user submissions,” as chosen by engineers from MathWorks.”