Community Profile

photo

McSCert


McMaster University

9 total contributions since 2018

The McMaster Centre for Software Certification research centre at McMaster University, ON, Canada. For questions about our tools, email us at: mcscert.tools@gmail.com

Contact

Contributions in
View by

Submitted


Simulink Module Tool
Supports the creation of a Simulink module, syntactic interfaces, and checking related guidelines.

1 giorno ago | 5 downloads |

Thumbnail

Submitted


Auto Layout Tool
The Auto Layout Tool is used to automatically improve the layout of Simulink models.

1 giorno ago | 48 downloads |

Thumbnail

Submitted


Model Comparison Utility
The Model Comparison Utility provides command line functions for supporting model comparison.

14 giorni ago | 6 downloads |

Thumbnail

Submitted


Data Store Rescope Tool
The Data Store Rescope Tool (formerly the Data Store Push-Down Tool) rescopes Simulink data stores.

circa un mese ago | 3 downloads |

Thumbnail

Submitted


Line - Goto/From Tool
The Line to Goto/From tool converts signal lines to Goto/From connections, and vice versa.

circa un mese ago | 8 downloads |

Thumbnail

Submitted


Reach/Coreach Tool
The tool highlights data/control flow dependencies in Simulink models and performs model slicing.

circa 2 mesi ago | 4 downloads |

Thumbnail

Submitted


Simulink-to-Stateflow
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.

4 mesi ago | 22 downloads |

Thumbnail

Submitted


Simulink Design Documenter
The Simulink Design Documenter generates Software Design Descriptions of Simulink models.

11 mesi ago | 4 downloads |

Thumbnail

Submitted


Signature Tool
The Signature Tool extracts the interface of a Simulink subsystem.

circa un anno ago | 6 downloads |

Thumbnail