Model Comparison Utility - Provides command line functions for supporting Simulink model comparison. Developed by Monika Jaskolka and Gordon Marks.
Reach/Coreach Tool - Trace and highlight data dependencies forward (reach) and backwards (coreach) as well as slice models while taking into account implicit data and control flow. Developed by Bennett MacKenzie, Steven Postma, Jeff Ong and Monika Jaskolka.
Signature Tool - MathWorks Pick of the Week - Detect and document a subsystem's interface, including implicit data flow involving data stores and goto/from blocks. Automatically generate documentation of inputs/outputs and updates. Developed by Bennett MacKenzie, Gordon Marks, Jeff Ong, Alexandre Korobkine, Steven Postma and Monika Jaskolka.
Simulink Design Documenter - A guided, semi-automated process for creating Software Design Description documents from Simulink systems. Developed by Gordon Marks, Alexander Shaap, Gehan Selim, Lucian Pactas and Monika Jaskolka.
Simulink Module Tool - Provides command line functions for supporting Simulink model comparison. Developed by Monika Jaskolka and Gordon Marks.
Simulink-to-Stateflow - Translates Simulink block diagrams into Stateflow state charts. Developed by Stephen Wynn-Williams and Curtis Milo.
Tabular Expression Toolbox Create tabular expressions in Matlab/Simulink, integrating checking with PVS and CVC3. Developed by Colin Eles. More information on this tool is available here.