McSCert
McMaster University
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
Statistiques
12 Fichiers
RANG
N/A
of 300 853
RÉPUTATION
N/A
CONTRIBUTIONS
0 Questions
0 Réponses
ACCEPTATION DE VOS RÉPONSES
0.00%
VOTES REÇUS
0
RANG
1 946 of 21 094
RÉPUTATION
944
CLASSEMENT MOYEN
4.70
CONTRIBUTIONS
12 Fichiers
TÉLÉCHARGEMENTS
27
ALL TIME TÉLÉCHARGEMENTS
6797
RANG
of 171 319
CONTRIBUTIONS
0 Problèmes
0 Solutions
SCORE
0
NOMBRE DE BADGES
0
CONTRIBUTIONS
0 Publications
CONTRIBUTIONS
0 Public Chaîne
CLASSEMENT MOYEN
CONTRIBUTIONS
0 Point fort
NOMBRE MOYEN DE LIKES
Feeds
A soumis
Model Comparison Utility
The Model Comparison Utility provides command line functions for supporting model comparison.
presque 4 ans il y a | 3 téléchargements |
A soumis
Intersection Navigation and Path Estimation
This tool is an extension of to the autonomous driving toolbox for: directed graph creation, path estimation, and vehicle to veh...
environ 4 ans il y a | 1 téléchargement |
A soumis
Reach/Coreach Tool
The tool highlights data/control flow dependencies in Simulink models and performs model slicing.
plus de 4 ans il y a | 1 téléchargement |
A soumis
Intersection Navigation and Path Estimation
This tool is an extension to the autonomous driving toolbox for: directed graph creation, path estimation, and V2V communication...
environ 5 ans il y a | 4 téléchargements |
A soumis
Obfuscate Model Tool
Obfuscate the contents of a Simulink model.
environ 5 ans il y a | 3 téléchargements |
A soumis
Simulink Module Tool
Supports the creation of a Simulink module, syntactic interfaces, and checking related guidelines.
environ 5 ans il y a | 3 téléchargements |
A soumis
Simulink-to-Stateflow
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.
plus de 5 ans il y a | 5 téléchargements |
A soumis
Simulink Design Documenter
The Simulink Design Documenter generates Software Design Descriptions of Simulink models.
plus de 5 ans il y a | 3 téléchargements |
A soumis
Signature Tool
The Signature Tool extracts the interface of a Simulink subsystem.
plus de 5 ans il y a | 3 téléchargements |
A soumis
Data Store Rescope Tool
The Data Store Rescope Tool (formerly the Data Store Push-Down Tool) rescopes Simulink data stores.
plus de 5 ans il y a | 1 téléchargement |
A soumis
Line - Goto/From Tool
The Line to Goto/From tool converts signal lines to Goto/From connections, and vice versa.
plus de 5 ans il y a | 2 téléchargements |
A soumis
Auto Layout Tool
The Auto Layout Tool is used to automatically improve the layout of Simulink models.
plus de 5 ans il y a | 2 téléchargements |





