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