Weryfikacja formalna modeli Simulink (SLDV)
- Description
Poniższe szkolenie skupia się na toolboxie Simulink Design Verifier, które pozwala użytkownikowi na statyczną analizę modeli pod kątem obecności i/lub absencji typowych błędów występujących w algorytmach oraz udawadniania, że model został w pełni przetestowany oraz spełnia założone wymagania.
Requirements
Szkolenie „Wprowadzenie do programu MATLAB” (MLBE), szkolenie „Podstawy modelowania w środowisku Simulink” (SLBE)Level
AdvancedDuration
1 dzieńProducts
MATLAB, Simulink, Simulink Design Verifier, Simulink Coverage, Requirements Toolbox, Stateflow - Agenda
Tematyka szkolenia obejmuje m.in.:
- wykrywanie oraz debugowanie typowych błędów występujących w algorytmach
- analiza pokrycia testami modelu
- uzupełnianie brakującego pokrycia poprzez automatyczne tworzenie scenariuszy testowych
- udowadnianie funkcjonalności modelu, weryfikacja oparta o wymagania (Property Proving)
- analiza modelu pod kątem złożoności i jej wpływ na wydajną analizę statyczną
General Info Html