Model-Based Design w projektach podlegających normie DO-178C/DO-331 (SLDO)
- Opis
To 3-dniowe szkolenie przeznaczone jest dla inżynierów aktywnie pracujących w środowisku Simulink zajmujących się modelowaniem, generacją i weryfikacją kodu generowanego przez Embedded Coder, który ma podlegać certyfikacji DO-178C. Szkolenie skupione jest na wykorzystaniu artefaktów otrzymywanych w workflow weryfikacji i walidacji w środowisku Simulink i Polyspace lub ich generacji na potrzeby procesu certyfikacji DO. Szkolenie zakłada, że uczestnicy posiadają już wiedzę i praktyczne doświadczenie w środowisku Simulink oraz Polyspace oraz znajomość norm DO-178C/DO-331, ponieważ nie skupia się na samych normach, lecz na głównych zasadach zastosowania Model-Based Design w projektach podlegających normie oraz certyfikacji DO-178C/DO-331.
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,
- weryfikację formalną modeli Simulink oraz testowanie niskopoziomowe,
- implementację algorytmów poprzez automatyczną generację kodu oraz optymalizację i weryfikację kodu.
Koszt
7500 złWymagania
Szkolenie „Wprowadzenie do programu MATLAB – dla inżynierów przemysłu lotniczego i kosmonautycznego”, szkolenie „Podstawy modelowania w środowisku Simulink dla przemysłu lotniczego i kosmonautycznego”, wiedza na temat norm DO-178C oraz suplementu DO-331 (Model-Based Design software development), podstawowa znajomość programowania w języku C/C++.Poziom
SpecjalistycznyCzas trwania
3 dniWykorzystane produkty
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 - Program szkolenia
Dzień 1 z 3:
- Model-Based Design w kontekście DO-178C i DO-331
- Wymagania i Traceability
- Standardy modelowania dla DO-178C i DO-331
Dzień 2 z 3:
- Weryfikacja modelu
- Analiza pokrycia modelu
- Weryfikacja projektu metodami formalnymi i generacja testów
Dzień 3 z 3:
- Traceability między modelem i kodem
- Statyczna analiza i weryfikacja formalna kodu
- Weryfikacja kodu względem wymagań oprogramowania
- Kwalifikacja narzędzi
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