McSCert

McSCert

Organization data from Github https://github.com/McSCert

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

Location:Hamilton, Ontario, Canada

Home Page:https://www.mcscert.ca/

GitHub:@McSCert

Twitter:@mcscert

McSCert's repositories

Simulink-Module

Support for modular development with Simulink models

Language:MATLABLicense:BSD-3-ClauseStargazers:13Issues:4Issues:3

Simulink-Utility

MATLAB utility functions for the McSCert Simulink tool suite

Language:MATLABLicense:BSD-3-ClauseStargazers:12Issues:4Issues:2

Model-Comparison-Utility

Matlab command-line functions for supporting Simulink model comparison

Language:MATLABLicense:BSD-3-ClauseStargazers:11Issues:4Issues:6

Signature

Extracts the interface of a Simulink subsystem

Language:MATLABLicense:BSD-3-ClauseStargazers:8Issues:3Issues:0

LineToGotoFrom

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

Language:MATLABLicense:BSD-3-ClauseStargazers:7Issues:3Issues:0

Auto-Layout

Automatically improve the layout of Simulink models

Language:MATLABLicense:BSD-3-ClauseStargazers:6Issues:3Issues:0

Simulink-Design-Documenter

Generates Software Design Descriptions of Simulink models

Language:MATLABLicense:BSD-3-ClauseStargazers:6Issues:4Issues:1

Obfuscate-Model

Obfuscate the contents of a Simulink model

Language:MATLABLicense:BSD-3-ClauseStargazers:2Issues:3Issues:18

Simulink-Logic-Simplifier

Automatically simplify Simulink designs

Language:MATLABLicense:BSD-3-ClauseStargazers:2Issues:3Issues:0
Language:MATLABLicense:BSD-3-ClauseStargazers:1Issues:3Issues:1

Data-Store-Rescope

Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)

Language:MATLABLicense:BSD-3-ClauseStargazers:1Issues:2Issues:0

Flatten-Subsystem

Automatically flatten a Simulink subsystem

Language:MATLABLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

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.

Language:MATLABLicense:MITStargazers:1Issues:3Issues:1

SLIME

State Learning in the Middle of Everything

Language:PythonLicense:GPL-3.0Stargazers:1Issues:3Issues:0

Reach-Coreach

Highlights data/control flow dependencies in Simulink models and performs model slicing

Language:MATLABLicense:BSD-3-ClauseStargazers:0Issues:3Issues:1

SysML-to-AUTOSAR

Rhapsody M2M transformation from SysML to AUTOSAR

Language:JavaStargazers:0Issues:4Issues:0