Weryfikacja formalna modeli Simulink (SLDV)
- Opis
To 1-dniowe 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.
Tematyka szkolenia obejmuje m.in.:
- wykrywanie oraz debugowanie typowych błędów występujących w algorytmach,
- analizę pokrycia testami modelu,
- uzupełnianie brakującego pokrycia poprzez automatyczne tworzenie scenariuszy testowych,
- udowadnianie funkcjonalności modelu, weryfikację oparta o wymagania (Property Proving),
- analizę modelu pod kątem złożoności i jej wpływ na wydajną analizę statyczną.
Wymagania
Szkolenie „Wprowadzenie do programu MATLAB”, szkolenie „Podstawy modelowania w środowisku Simulink”.Poziom
SpecjalistycznyCzas trwania
1 dzieńWykorzystane produkty
MATLAB, Simulink, Simulink Design Verifier, Simulink Coverage, Requirements Toolbox, Stateflow - Program szkolenia
Dzień 1 z 1:
- Zrozumienie workflow weryfikacji
- Wykrywanie błędów projektowych
- Automatyczne generowanie testów
- Weryfikacja oparta o wymagania (Property Proving)
- Zarządzanie poziomem skomplikowania modelu
Szczegóły organizacyjne
Szkolenia prowadzimy w trybie stacjonarnym w siedzibie firmy lub online na najnowszej wersji oprogramowania.
Cena obejmuje:
- uczestnictwo w szkoleniu,
- dostęp do oprogramowania MATLAB & Simulink w wersji próbnej na okres 30 dni,
- materiały szkoleniowe (podręcznik i pliki z ćwiczeniami) do użytku własnego uczestników,
- imienny certyfikat ukończenia szkolenia,
- catering, jeśli szkolenie odbywa się w siedzibie firmy Oprogramowanie Naukowo-Techniczne sp. z o.o. tj. przy ul. Pod Fortem 19 w Krakowie.
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).
Wymagania programowo-sprzętowe dla środowiska MATLAB podane są na stronie internetowej: http://www.mathworks.com/support/sysreq/current_release