Zaměření online semináře
Vývojové týmy používají metodu Model-Based Design v prostředí MATLAB a Simulink k návrhu složitých embedded systémů a generování kódu v jazycích C, C++ a HDL. Verifikace, které využívají testování založené na simulacích a statickou analýzu, doplňují metodu Model-Based Design o postupy, díky kterým je možné odhalit chyby dříve a dosáhnout vyšší kvality Vašeho návrhu (High-Integrity Verification Workflow).
Seminář Vám nabízí neformální setkání s možností seznámit se s možnostmi verifikace a testování modelů a zdrojového kódu formou praktických ukázek.
Jak se připojit
Pro účast na online semináři vyplňte přihlašovací formulář. Obratem obdržíte informace k připojení.
Program
Metoda Model-Based Design (10 min.)
- co je metoda Model-Based Design a kde nachází své uplatnění
Verifikace v návrhu embedded systémů (45 min.)
- způsoby verifikace
- začlenění verifikace do návrhového procesu
- zachycení a správa požadavků
- testování vs. formální metody verifikace
- správa a automatizace testů, analýza pokrytí testy (test coverage)
- kontrola dodržení předepsaných standardů (MISRA, IEC, ISO, EN, DO, ...)
Verifikace zdrojového kódu v jazyce C (30 min.)
- testování a statická kontrola kódu
- prokázání nepřítomnosti chyb formálními metodami
Závěr, diskuze, otázky (5 min.)
Seminář je určen všem posluchačům, kteří se chtějí formou praktických příkladů seznámit s možnostmi verifikace a testování modelů a zdrojového kódu v jazyce C v prostředí MATLAB, Simulink a Polyspace.
Další zdroje informací
Informace
Video
Uživatelské reference