Auto Layout Tool - Automatically clean up and improve model layout in manual or auto generated Simulink models. Developed by Bennett MacKenzie, Steven Postma and Jeff Ong.
Data Store Rescope Tool (previously Data Store Pushdown) - Automatically rescope Data Stores to help meet JMAAB guidelines and to improve model structure and modularity. Developed by Bennett MacKenzie, Steven Postma, Jeff Ong and Monika Jaskolka.
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.