Целью этого раздела является описание архитектуры высокого уровня инструментов разработки и верификации, используемых в рабочем процессе 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
