Цель этого раздела состоит в том, чтобы описать высокоуровневую архитектуру инструментов разработки и верификации, используемых в DO - 178C рабочий процесс с Модельно-ориентированным проектированием. Этот раздел также описывает аспекты независимости различных инструментов и как могут быть обнаружены ошибки в инструментах. Существует два типа инструментов, используемых в рабочем процессе, средствах разработки и инструментах верификации.
Средства разработки:
Simulink®
Stateflow®
MATLAB®
MATLAB Coder™
Simulink Coder
Embedded Coder®
Инструменты верификации:
MATLAB Report Generator™
Simulink Report Generator
Simulink
Simulink Design Verifier™
Simulink Code Inspector™
Simulink Check™
Simulink Coverage™
Simulink Test™
Polyspace® Bug Finder™
Polyspace Bug Finder Server™
Polyspace Code Prover™
Polyspace Code Prover Server
