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: https://www.mathworks.com/matlabcentral/fileexchange/70317-simulink-to-stateflow For more on the tool, including its theoretical foundations, an interested reader is referred to: Wynn-Williams, S., Diskin, Z., Pantelic, V., […]