Цель этого раздела - описать высокоуровневую архитектуру средств разработки и проверки, используемых в DO-178C workflow-процессе при проектировании на основе моделей. В этом разделе также описываются аспекты независимости различных инструментов и способы обнаружения ошибок в инструментах. Существует два типа инструментов, используемых в рабочем процессе: средства разработки и средства проверки.
Средства разработки:
Симулинк ®
Поток данных Stateflow ®
MATLAB ®
MATLAB Coder™
Симулинк-кодер
Встроенный кодер ®
Средства проверки:
Отчет MATLAB Generator™
Генератор отчетов Simulink
Simulink
Verifier™ проектирования Simulink
Inspector™ кода Simulink
Симулинк Check™
Симулинк Coverage™
Симулинк Test™
Ошибка Polyspace ® Finder™
Поиск ошибок Polyspace Server™
Код Polyspace Prover™
Сервер проверки кода Polyspace