DO-178C, DO-278A desteklemesi gereken projelerde Simulink ve Polyspace yazılımlarının doğrulama araçları kullanılırken, bu sertifikalara yönelik dökümantasyon şablonları, test durumları ve prosedürleri içermektedir. Kitle, desteklenen Simulink ve Polyspace ürünleri kullanılarak geliştirilen gömülü sistemlerin sertifikasyonunu kolaylaştırabilirsiniz.
DO Yeterlilik Kiti ayrıca DO-254’e dayalı projeler için Simulink model doğrulama araçlarını nitelendirmenize de olanak tanır. Simulink Code Inspector ve Polyspace kod doğrulama araçları HDL kodunu desteklemez, bu nedenle DO-254 için geçerli değildir.
Araç yeterlilik kitleri, Simulink ve Polyspace doğrulama araçlarının DO-330, Software Tool Qualification Considerations’a dayalı belirli sürümleri için mevcuttur. Belirli bir projeniz için araç kalifikasyon kitindeki eserleri değiştirebilir ve bunları sertifikasyon için sunulan DO-178C, DO-278A ve DO-254 sertifika paketlerine dahil edebilirsiniz.
