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
Statistics
12 Files
RANK
N/A
of 296 158
REPUTATION
N/A
CONTRIBUTIONS
0 Questions
0 Answers
ANSWER ACCEPTANCE
0.00%
VOTES RECEIVED
0
RANK
1 966 of 20 352
REPUTATION
915
AVERAGE RATING
4.80
CONTRIBUTIONS
12 Files
DOWNLOADS
36
ALL TIME DOWNLOADS
6553
RANK
of 155 501
CONTRIBUTIONS
0 Problems
0 Solutions
SCORE
0
NUMBER OF BADGES
0
CONTRIBUTIONS
0 Posts
CONTRIBUTIONS
0 Public Channels
AVERAGE RATING
CONTRIBUTIONS
0 Highlights
AVERAGE NO. OF LIKES
Feeds
Submitted
Model Comparison Utility
The Model Comparison Utility provides command line functions for supporting model comparison.
mer än 2 år ago | 4 downloads |
Submitted
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...
ungefär 3 år ago | 1 download |
Submitted
Reach/Coreach Tool
The tool highlights data/control flow dependencies in Simulink models and performs model slicing.
mer än 3 år ago | 1 download |
Submitted
Intersection Navigation and Path Estimation
This tool is an extension to the autonomous driving toolbox for: directed graph creation, path estimation, and V2V communication...
nästan 4 år ago | 4 downloads |
Submitted
Obfuscate Model Tool
Obfuscate the contents of a Simulink model.
nästan 4 år ago | 1 download |
Submitted
Simulink Module Tool
Supports the creation of a Simulink module, syntactic interfaces, and checking related guidelines.
nästan 4 år ago | 1 download |
Submitted
Simulink-to-Stateflow
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.
mer än 4 år ago | 8 downloads |
Submitted
Simulink Design Documenter
The Simulink Design Documenter generates Software Design Descriptions of Simulink models.
mer än 4 år ago | 8 downloads |
Submitted
Signature Tool
The Signature Tool extracts the interface of a Simulink subsystem.
mer än 4 år ago | 2 downloads |
Submitted
Data Store Rescope Tool
The Data Store Rescope Tool (formerly the Data Store Push-Down Tool) rescopes Simulink data stores.
mer än 4 år ago | 2 downloads |
Submitted
Line - Goto/From Tool
The Line to Goto/From tool converts signal lines to Goto/From connections, and vice versa.
mer än 4 år ago | 2 downloads |
Submitted
Auto Layout Tool
The Auto Layout Tool is used to automatically improve the layout of Simulink models.
mer än 4 år ago | 6 downloads |