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