Aerospace Blockset
Modelování, simulace a analýza dynamiky letadel, satelitů a jiných systémů v letectví a kosmonautice.
Aerospace Toolbox
Analýza a vizualizace pohybu letadel a jiných systémů v letectví a kosmonautice s použitím leteckých referenčních standardů a modelů.
UAV Toolbox
Návrh, simulace a nasazení UAV aplikací.
DO Qualification Kit (for DO-178 and DO-254)
Kvalifikace verifikačních nástrojů Simulinku a nástrojů Polyspace dle standardů DO-178, DO-278 a DO-254.
