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
    Specjalistyczny
    Czas 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ą

Najbliższe terminy


2024-11-26
do 2024-11-26
Zgłoś chęć uczestnictwa
Chcesz zgłosić chęć uczestnictwa w szkoleniu?

Chcesz zaproponować inny termin lub dowiedzieć się więcej na temat naszej oferty szkoleń?

Zapraszamy do kontaktu!

Napisz do nas

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.