В этом разделе описывается архитектура высокого уровня инструментов разработки и верификации, которые можно применить в рабочем процессе Модельно-ориентированное проектирование для DO-254. Описаны аспекты независимости различных инструментов и способы обнаружения ошибок в инструментах. Существует два типа инструментов, используемых в рабочем процессе, инструменты разработки и инструменты верификации.
Инструменты разработки:
Simulink®
Stateflow®
Fixed-Point Designer™
MATLAB®
HDL Coder™
Инструменты верификации:
MATLAB Report Generator™
Simulink Report Generator
Simulink
Simulink Design Verifier™
Функции Simulink Check™
Функции Simulink Coverage™
Функции Simulink Test™
HDL Verifier™