photo

McSCert


McMaster University

Last seen: 대략 3년 전 |  2020년부터 활동

Followers: 2   Following: 0

메시지

The McMaster Centre for Software Certification research centre at McMaster University, ON, Canada. For questions about our tools, email us at: mcscert.tools@gmail.com

통계학

  • GitHub Submissions Level 3
  • Personal Best Downloads Level 3
  • Editor's Pick
  • First Review
  • 5-Star Galaxy Level 4
  • First Submission

배지 보기

Feeds

보기 기준

제출됨


Model Comparison Utility
The Model Comparison Utility provides command line functions for supporting model comparison.

2년 초과 전 | 다운로드 수: 1 |

Thumbnail

제출됨


Intersection Navigation and Path Estimation
This tool is an extension of to the autonomous driving toolbox for: directed graph creation, path estimation, and vehicle to veh...

대략 3년 전 | 다운로드 수: 1 |

Thumbnail

제출됨


Reach/Coreach Tool
The tool highlights data/control flow dependencies in Simulink models and performs model slicing.

3년 초과 전 | 다운로드 수: 1 |

Thumbnail

제출됨


Intersection Navigation and Path Estimation
This tool is an extension to the autonomous driving toolbox for: directed graph creation, path estimation, and V2V communication...

거의 4년 전 | 다운로드 수: 4 |

Thumbnail

제출됨


Obfuscate Model Tool
Obfuscate the contents of a Simulink model.

거의 4년 전 | 다운로드 수: 1 |

Thumbnail

제출됨


Simulink Module Tool
Supports the creation of a Simulink module, syntactic interfaces, and checking related guidelines.

거의 4년 전 | 다운로드 수: 1 |

Thumbnail

제출됨


Simulink-to-Stateflow
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.

4년 초과 전 | 다운로드 수: 12 |

Thumbnail

제출됨


Simulink Design Documenter
The Simulink Design Documenter generates Software Design Descriptions of Simulink models.

4년 초과 전 | 다운로드 수: 4 |

Thumbnail

제출됨


Signature Tool
The Signature Tool extracts the interface of a Simulink subsystem.

4년 초과 전 | 다운로드 수: 1 |

Thumbnail

제출됨


Data Store Rescope Tool
The Data Store Rescope Tool (formerly the Data Store Push-Down Tool) rescopes Simulink data stores.

4년 초과 전 | 다운로드 수: 2 |

Thumbnail

제출됨


Line - Goto/From Tool
The Line to Goto/From tool converts signal lines to Goto/From connections, and vice versa.

4년 초과 전 | 다운로드 수: 2 |

Thumbnail

제출됨


Auto Layout Tool
The Auto Layout Tool is used to automatically improve the layout of Simulink models.

4년 초과 전 | 다운로드 수: 7 |

Thumbnail