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