Skip to content
@McSCert

McSCert

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

Popular repositories Loading

  1. Simulink-Module Simulink-Module Public

    Support for modular development with Simulink models

    MATLAB 13 1

  2. Simulink-Utility Simulink-Utility Public

    MATLAB utility functions for the McSCert Simulink tool suite

    MATLAB 12 1

  3. Model-Comparison-Utility Model-Comparison-Utility Public

    Matlab command-line functions for supporting Simulink model comparison

    MATLAB 11

  4. Signature Signature Public

    Extracts the interface of a Simulink subsystem

    MATLAB 8 1

  5. LineToGotoFrom LineToGotoFrom Public

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

    MATLAB 7

  6. Auto-Layout Auto-Layout Public

    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 1 GPL-3.0 0 0 0 Updated Sep 10, 2024
  • SysML-to-AUTOSAR Public

    Rhapsody M2M transformation from SysML to AUTOSAR

    McSCert/SysML-to-AUTOSAR’s past year of commit activity
    Java 0 0 0 0 Updated Mar 13, 2024
  • Simulink-Utility Public

    MATLAB utility functions for the McSCert Simulink tool suite

    McSCert/Simulink-Utility’s past year of commit activity
    MATLAB 12 BSD-3-Clause 1 1 0 Updated Jul 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 11 BSD-3-Clause 0 2 0 Updated Apr 3, 2022
  • Flatten-Subsystem Public

    Automatically flatten a Simulink subsystem

    McSCert/Flatten-Subsystem’s past year of commit activity
    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)

    McSCert/Data-Store-Rescope’s past year of commit activity
    MATLAB 1 BSD-3-Clause 0 0 0 Updated Mar 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 7 BSD-3-Clause 0 0 0 Updated Mar 17, 2022
  • Signature Public

    Extracts the interface of a Simulink subsystem

    McSCert/Signature’s past year of commit activity
    MATLAB 8 BSD-3-Clause 1 0 0 Updated Mar 17, 2022
  • McSCert/C2Flowchart’s past year of commit activity
    MATLAB 1 BSD-3-Clause 0 1 0 Updated Mar 17, 2022
  • Simulink-Design-Documenter Public

    Generates Software Design Descriptions of Simulink models

    McSCert/Simulink-Design-Documenter’s past year of commit activity
    MATLAB 6 BSD-3-Clause 2 1 1 Updated Mar 17, 2022

Top languages

Loading…

Most used topics

Loading…