Weryfikacja formalna modeli Simulink (SLDV)
- Opis
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.
Wymagania
Szkolenie „Wprowadzenie do programu MATLAB” (MLBE), szkolenie „Podstawy modelowania w środowisku Simulink” (SLBE)Poziom
SpecjalistycznyCzas trwania
1 dzieńWykorzystane produkty
MATLAB, Simulink, Simulink Design Verifier, Simulink Coverage, Requirements Toolbox, Stateflow - Program szkolenia
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ą
Szczegóły organizacyjne
Szkolenia prowadzimy w trybie stacjonarnym w siedzibie firmy lub online.
Cena szkolenia obejmuje:
- uczestnictwo w szkoleniu,
- dostęp do oprogramowania firmy MathWorks (przykłady, ćwiczenia),
- materiały szkoleniowe,
- imienne zaświadczenie uczestnictwa w szkoleniu,
- catering i przerwy kawowe (tylko w trybie stacjonarnym).
Szkolenia stacjonarne odbywają się w przygotowanej sali szkoleniowej na naszych komputerach.
W przypadku szkolenia online bardzo przydatne będą także: zestaw słuchawkowy z wbudowanym mikrofonem oraz opcjonalnie drugi monitor podpięty do komputera (wówczas będą Państwo mogli mieć na jednym monitorze podgląd pulpitu trenera, a na drugim uruchomioną własną sesję MATLABa, bez konieczności przełączania się między tymi dwoma widokami).
Dla dużych grup z jednej instytucji oferujemy szkolenia zamknięte. W takim przypadku prosimy o kontakt w celu uzgodnienia ceny oraz trybu szkolenia.