McSCert

McMaster University

Last seen: 3年以上前 | 2020 年からアクティブ

Followers: 3 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

統計

ランク
1,965 of 20,438

評判
920

平均評価
4.80

コントリビューション
12 ファイル

ダウンロード
28

ALL TIME ダウンロード
6607

バッジを表示

Feeds

送信済み

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

3年弱前 | ダウンロード 4 件 |

5.0 / 5

送信済み

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年以上前 | ダウンロード 3 件 |

0.0 / 5

送信済み

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

3年以上前 | ダウンロード 2 件 |

5.0 / 5

送信済み

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 件 |

0.0 / 5

送信済み

Obfuscate Model Tool
Obfuscate the contents of a Simulink model.

約4年前 | ダウンロード 2 件 |

0.0 / 5

送信済み

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

約4年前 | ダウンロード 1 件 |

5.0 / 5

送信済み

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

4年以上前 | ダウンロード 3 件 |

4.0 / 5

送信済み

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

4年以上前 | ダウンロード 4 件 |

0.0 / 5

送信済み

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

4年以上前 | ダウンロード 3 件 |

5.0 / 5

送信済み

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

4年以上前 | ダウンロード 1 件 |

5.0 / 5

送信済み

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

4年以上前 | ダウンロード 1 件 |

4.8 / 5

送信済み

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

4年以上前 | ダウンロード 5 件 |

4.6 / 5