Exploring Simulink Design Verifier - 2

버전 1.0.0.0 (1.1 MB) 작성자: Natasha Jeppu
A Simulink Design Verifier applied to Autopilot Mode Transition
0.0
(0)
다운로드 수: 204
업데이트 날짜: 2015/6/26

라이선스 보기

This is a validation of an Autopilot Mode Transition using Simulink Design Verifier. The requirements are given as tables. An equivalent model is created which represents this mode transition. This is validated using assertion in the SDV. The SDV is compared with random test runs against the same set of assertions. Matlab m files are provided to run the cases.

인용 양식

Natasha Jeppu (2024). Exploring Simulink Design Verifier - 2 (https://www.mathworks.com/matlabcentral/fileexchange/51567-exploring-simulink-design-verifier-2), MATLAB Central File Exchange. 검색됨 .

MATLAB 릴리스 호환 정보
개발 환경: R2013b
모든 릴리스와 호환
플랫폼 호환성
Windows macOS Linux
카테고리
Help Center 및 MATLAB Answers에서 Simulink Design Verifier에 대해 자세히 알아보기

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

버전 게시됨 릴리스 정보
1.0.0.0