Tools

Automatically clean up and improve model layout in manual or auto generated Simulink models. Developed by Bennett MacKenzie, Steven Postma and Jeff Ong.

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.

Quickly converts signal lines to Goto/From connections, and vice versa. Developed by Monika Jaskolka and Bennett MacKenzie.

Provides command line functions for supporting Simulink model comparison. Developed by Monika Jaskolka and Gordon Marks.

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.

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.

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.

Provides command line functions for supporting Simulink model comparison. Developed by Monika Jaskolka and Gordon Marks.

Translates Simulink block diagrams into Stateflow state charts. Developed by Stephen Wynn-Williams and Curtis Milo.

Create tabular expressions in Matlab/Simulink, integrating checking with PVS and CVC3. Developed by Colin Eles.

ATheNA is a black-box Search-Based Software Testing framework that combines an automatically-generated and a manually-defined fitness functions to search for requirements violations on Simulink models.

Developed by Federico Formica, Mohammad Mahdi Mahboob, and Claudio Menghi.

Hecate is a black-box Search-Based Software Testing for Simulink models that relies on Test Sequence and Test Assessment blocks. It uses the Test Sequence to define parametric input signals and the Test Assessment to formalise requirements for the model.

Developed by: Federico Formica, Tony Fan, Vera Pantelic, Mark Lawford, and Claudio Menghi.