McSCert
The McMaster Centre for Software Certification (McSCert) develops tools and methods to create certifiably safe, secure and dependable software.
Hamilton, Ontario, Canada
Pinned Repositories
Auto-Layout
Automatically improve the layout of Simulink models
C2Flowchart
Data-Store-Rescope
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
LineToGotoFrom
Convert signal lines to Goto/From connections, and vice versa in Simulink
Model-Comparison-Utility
Matlab command-line functions for supporting Simulink model comparison
Obfuscate-Model
Obfuscate the contents of a Simulink model
Signature
Extracts the interface of a Simulink subsystem
Simulink-Design-Documenter
Generates Software Design Descriptions of Simulink models
Simulink-Module
Support for modular development with Simulink models
Simulink-Utility
MATLAB utility functions for the McSCert Simulink tool suite
McSCert's Repositories
McSCert/Simulink-Module
Support for modular development with Simulink models
McSCert/Simulink-Utility
MATLAB utility functions for the McSCert Simulink tool suite
McSCert/Model-Comparison-Utility
Matlab command-line functions for supporting Simulink model comparison
McSCert/Signature
Extracts the interface of a Simulink subsystem
McSCert/LineToGotoFrom
Convert signal lines to Goto/From connections, and vice versa in Simulink
McSCert/Auto-Layout
Automatically improve the layout of Simulink models
McSCert/Simulink-Design-Documenter
Generates Software Design Descriptions of Simulink models
McSCert/Obfuscate-Model
Obfuscate the contents of a Simulink model
McSCert/C2Flowchart
McSCert/Data-Store-Rescope
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
McSCert/Flatten-Subsystem
Automatically flatten a Simulink subsystem
McSCert/Intersection-Navigation-and-Path-Estimation
An extension of the MathWorks Automated Driving toolbox to support directed graph creation, path estimation, and vehicle to vehicle communication.
McSCert/Simulink-Logic-Simplifier
Automatically simplify Simulink designs
McSCert/Reach-Coreach
Highlights data/control flow dependencies in Simulink models and performs model slicing
McSCert/SysML-to-AUTOSAR
Rhapsody M2M transformation from SysML to AUTOSAR