McSCert

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

Popular repositories

Model-Comparison-Utility Public

Matlab command-line functions for supporting Simulink model comparison

MATLAB 6
Simulink-Module Public

Support for modular development with Simulink models

MATLAB 6
Simulink-Utility Public

MATLAB utility functions for the McSCert Simulink tool suite

MATLAB 6 1
Signature Public

Extracts the interface of a Simulink subsystem

MATLAB 3
LineToGotoFrom Public

Convert signal lines to Goto/From connections, and vice versa in Simulink

MATLAB 2
Auto-Layout Public

Automatically improve the layout of Simulink models

MATLAB 2

Simulink-Utility Public
MATLAB utility functions for the McSCert Simulink tool suite

MATLAB 6 BSD-3-Clause 1 1 0 Updated Jul 28, 2022
Model-Comparison-Utility Public
Matlab command-line functions for supporting Simulink model comparison

MATLAB 6 BSD-3-Clause 0 1 0 Updated Apr 3, 2022
Flatten-Subsystem Public
Automatically flatten a Simulink subsystem

MATLAB 1 BSD-3-Clause 0 0 0 Updated Mar 17, 2022
Data-Store-Rescope Public
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)

MATLAB 0 BSD-3-Clause 0 0 0 Updated Mar 17, 2022
LineToGotoFrom Public
Convert signal lines to Goto/From connections, and vice versa in Simulink

MATLAB 2 BSD-3-Clause 0 0 0 Updated Mar 17, 2022
Signature Public
Extracts the interface of a Simulink subsystem

MATLAB 3 BSD-3-Clause 0 0 0 Updated Mar 17, 2022
C2Flowchart Public

MATLAB 0 BSD-3-Clause 0 0 0 Updated Mar 17, 2022
Simulink-Design-Documenter Public
Generates Software Design Descriptions of Simulink models

MATLAB 2 BSD-3-Clause 1 1 1 Updated Mar 17, 2022
Simulink-Logic-Simplifier Public
Automatically simplify Simulink designs

MATLAB 0 BSD-3-Clause 0 0 0 Updated Mar 17, 2022
Auto-Layout Public
Automatically improve the layout of Simulink models

MATLAB 2 BSD-3-Clause 0 0 0 Updated Mar 17, 2022

Loading…

Loading…