McSCert

The McMaster Centre for Software Certification (McSCert) develops tools and methods to create certifiably safe, secure and dependable software.

Popular repositoriesLoading

Simulink-ModuleSimulink-ModulePublic
Support for modular development with Simulink models
MATLAB 13 1
Simulink-UtilitySimulink-UtilityPublic
MATLAB utility functions for the McSCert Simulink tool suite
MATLAB 12 1
Model-Comparison-UtilityModel-Comparison-UtilityPublic
Matlab command-line functions for supporting Simulink model comparison
MATLAB 11
SignatureSignaturePublic
Extracts the interface of a Simulink subsystem
MATLAB 8 1
LineToGotoFromLineToGotoFromPublic
Convert signal lines to Goto/From connections, and vice versa in Simulink
MATLAB 7
Auto-LayoutAuto-LayoutPublic
Automatically improve the layout of Simulink models
MATLAB 6 1

Repositories

Showing 10 of 16 repositories

SLIME Public
State Learning in the Middle of Everything
McSCert/SLIME’s past year of commit activity
Python 1GPL-3.00 0 0 UpdatedSep 10, 2024
SysML-to-AUTOSAR Public
Rhapsody M2M transformation from SysML to AUTOSAR
McSCert/SysML-to-AUTOSAR’s past year of commit activity
Java00 0 0 UpdatedMar 13, 2024
Simulink-Utility Public
MATLAB utility functions for the McSCert Simulink tool suite
McSCert/Simulink-Utility’s past year of commit activity
MATLAB 12BSD-3-Clause 1 1 0 UpdatedJul 28, 2022
Model-Comparison-Utility Public
Matlab command-line functions for supporting Simulink model comparison
McSCert/Model-Comparison-Utility’s past year of commit activity
MATLAB 11BSD-3-Clause0 2 0 UpdatedApr 3, 2022
Flatten-Subsystem Public
Automatically flatten a Simulink subsystem
McSCert/Flatten-Subsystem’s past year of commit activity
MATLAB 1BSD-3-Clause0 0 0 UpdatedMar 17, 2022
Data-Store-Rescope Public
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
McSCert/Data-Store-Rescope’s past year of commit activity
MATLAB 1BSD-3-Clause0 0 0 UpdatedMar 17, 2022
LineToGotoFrom Public
Convert signal lines to Goto/From connections, and vice versa in Simulink
McSCert/LineToGotoFrom’s past year of commit activity
MATLAB 7BSD-3-Clause0 0 0 UpdatedMar 17, 2022
Signature Public
Extracts the interface of a Simulink subsystem
McSCert/Signature’s past year of commit activity
MATLAB 8BSD-3-Clause 1 0 0 UpdatedMar 17, 2022
C2Flowchart Public
McSCert/C2Flowchart’s past year of commit activity
MATLAB 1BSD-3-Clause0 1 0 UpdatedMar 17, 2022
Simulink-Design-Documenter Public
Generates Software Design Descriptions of Simulink models
McSCert/Simulink-Design-Documenter’s past year of commit activity
MATLAB 6BSD-3-Clause 2 1 1 UpdatedMar 17, 2022