
McSCert
McMaster University
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
Statistics
12 파일
순위
N/A
of 262,901
평판
N/A
참여
0 질문
0 답변
답변 채택
0.00%
획득한 표
0
순위
of 113,876
참여
0 문제
0 해답
점수
0
배지 수
0
참여
0 게시물
참여
0 공개 채널
평균 평점
참여
0 Highlights
AVERAGE NO. OF LIKES
Content Feed
제출됨
Model Comparison Utility
The Model Comparison Utility provides command line functions for supporting model comparison.
5달 전 | 다운로드 수: 1 |

제출됨
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...
9달 전 | 다운로드 수: 5 |

제출됨
Reach/Coreach Tool
The tool highlights data/control flow dependencies in Simulink models and performs model slicing.
12달 전 | 다운로드 수: 1 |

제출됨
Intersection Navigation and Path Estimation
This tool is an extension to the autonomous driving toolbox for: directed graph creation, path estimation, and V2V communication...
1년 이상 전 | 다운로드 수: 4 |

제출됨
Simulink Module Tool
Supports the creation of a Simulink module, syntactic interfaces, and checking related guidelines.
1년 이상 전 | 다운로드 수: 4 |

제출됨
Simulink-to-Stateflow
The Simulink-to-Stateflow tool translates Simulink block diagrams into Stateflow state charts.
약 2년 전 | 다운로드 수: 8 |

제출됨
Simulink Design Documenter
The Simulink Design Documenter generates Software Design Descriptions of Simulink models.
약 2년 전 | 다운로드 수: 4 |

제출됨
Signature Tool
The Signature Tool extracts the interface of a Simulink subsystem.
약 2년 전 | 다운로드 수: 2 |

제출됨
Data Store Rescope Tool
The Data Store Rescope Tool (formerly the Data Store Push-Down Tool) rescopes Simulink data stores.
약 2년 전 | 다운로드 수: 1 |

제출됨
Line - Goto/From Tool
The Line to Goto/From tool converts signal lines to Goto/From connections, and vice versa.
약 2년 전 | 다운로드 수: 3 |

제출됨
Auto Layout Tool
The Auto Layout Tool is used to automatically improve the layout of Simulink models.
약 2년 전 | 다운로드 수: 7 |
