Model-Based Design w projektach podlegających normie DO-178C/DO-331 (SLDO)

  • Description

    Szkolenie przedstawia główne zasady zastosowania Model-Based Design w projektach podlegających normie oraz certyfikacji DO-178C/DO-331. Pozwala uczestnikom poznać jak konkretne narzędzia oraz Workflow w oprogramowaniu firmy MathWorks pozwala osiągnąć cele (ang. Objectives) wyznaczone przez powyższe normy przy pracy nad własnymi rozwiązaniami.


    Requirements
    Szkolenie „Wprowadzenie do programu MATLAB” (MLBE), szkolenie „Podstawy modelowania w środowisku Simulink” (SLBE), zalecana podstawowa znajomość programowania w języku C/C++ oraz wiedza na temat norm DO-178C/DO-331.
    Level
    Advanced
    Duration
    3 dni
    Products
    Simulink, Requirements Toolbox, Simulink Test, Simulink Coverage, Simulink Check, Simulink Design Verifier, Embedded Coder, DO Qualification Kit, Polyspace Code Prover, Polyspace Bug Finder, Simulink Code Inspector
  • Agenda

    Tematyka szkolenia obejmuje m.in.:

    • mapowanie workflow Model-Based Design z normami DO-178C/DO-331,
    • zarządzanie wymaganiami w środowisku Simulink,
    • ustanawianie wytycznych modelowania oraz sprawdzanie modelu pod kątem ich spełnienia,
    • tworzenie scenariuszy testowych, dynamiczne testowanie in-the-loop modelu wraz z analizą pokrycia,
    • weryfikacja formalna modeli Simulink oraz testowanie niskopoziomowe,
    • implementacja algorytmów poprzez automatyczną generację kodu oraz optymalizacja i weryfikacja kodu.
General Info Html

Related

Tags: Simulink, Projektowanie oparte o model, Systemy lotnicze i kosmiczne, Inżynieria systemów, Generacja kodu, Weryfikacja i walidacja modeli, Systemy certyfikowane