McSCert

McSCert

Geek Repo

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/

Twitter:@mcscert

Github PK Tool:Github PK Tool

McSCert's repositories

Simulink-Module

Support for modular development with Simulink models

Language:MATLABLicense:BSD-3-ClauseStargazers:10Issues:5Issues:3

Simulink-Utility

MATLAB utility functions for the McSCert Simulink tool suite

Language:MATLABLicense:BSD-3-ClauseStargazers:9Issues:5Issues:2

Model-Comparison-Utility

Matlab command-line functions for supporting Simulink model comparison

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

Signature

Extracts the interface of a Simulink subsystem

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

LineToGotoFrom

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

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

Auto-Layout

Automatically improve the layout of Simulink models

Language:MATLABLicense:BSD-3-ClauseStargazers:5Issues:4Issues:0

Simulink-Design-Documenter

Generates Software Design Descriptions of Simulink models

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

Obfuscate-Model

Obfuscate the contents of a Simulink model

Language:MATLABLicense:BSD-3-ClauseStargazers:2Issues:4Issues:18
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:3Issues:0

Flatten-Subsystem

Automatically flatten a Simulink subsystem

Language:MATLABLicense:BSD-3-ClauseStargazers:1Issues:4Issues: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

Simulink-Logic-Simplifier

Automatically simplify Simulink designs

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

Reach-Coreach

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

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

SysML-to-AUTOSAR

Rhapsody M2M transformation from SysML to AUTOSAR

Language:JavaStargazers:0Issues:4Issues:0