Name: McSCert
Type: Organization
Bio: The McMaster Centre for Software Certification (McSCert) develops tools and methods to create certifiably safe, secure and dependable software.
Twitter: mcscert
Location: Hamilton, Ontario, Canada
Blog: https://www.mcscert.ca/
McSCert's Projects
Automatically improve the layout of Simulink models
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
Automatically flatten a Simulink subsystem
An extension of the MathWorks Automated Driving toolbox to support directed graph creation, path estimation, and vehicle to vehicle communication.
Convert signal lines to Goto/From connections, and vice versa in Simulink
Matlab command-line functions for supporting Simulink model comparison
Obfuscate the contents of a Simulink model
Highlights data/control flow dependencies in Simulink models and performs model slicing
Extracts the interface of a Simulink subsystem
Generates Software Design Descriptions of Simulink models
Automatically simplify Simulink designs
Support for modular development with Simulink models
MATLAB utility functions for the McSCert Simulink tool suite
State Learning in the Middle of Everything
Rhapsody M2M transformation from SysML to AUTOSAR