Přístrojová technika pro prokazování zkoušek kapitoly 16 normy RTCA/DO160G
- 1ks Napájecí zdroj AE TECHRON 7224
Soupravy pro letování a odletování desek plošných spojů pro prototypování
- 2ks pájecí stanice JBC 2-
- 4-kanálové (DMSE-2QA)
Software nástroje pro oblast kritických řídících systémů
- nástroj Polyspace s využitím metod statického ověřování kvality kódu C/C++, prokazování run-time chyb v software, s návazností na nástroje Mathworks (Matlab/Simulink).
- Polyspace Code Prover včetně optimalizované HW platformy (PC s operačním systémem Windows) pro zajištění maximálního výkonu během testování
- Počítačová podpora je zajištěna 3 ks PC typu Dell Precision 3650 Tower pro vývojové testování a verifikaci softwaru