pro DO-178
Kvalifikace verifikačních nástrojů Simulinku a PolySpace dle standardu DO-178
DO Qualification Kit poskytuje dokumentaci, modelové případy a procedury, které umožní kvalifikaci verifikačních nástrojů Simulinku a PolySpace pro projekty založené na standardu DO-178. Kit obsahuje kvalifikační plány, pracovní požadavky a další materiály nutné pro kvalifikaci verifikačních softwarových nástrojů. DO Qualification Kit zjednodušuje certifikaci embedded systémů vyvinutých pomocí nástrojů Simulink a PolySpace.