Следующий рисунок показывает действия разработки и верификации Исполняемого объектного кода, включая использование режима Processor In-The-Loop (PIL) и целевое интеграционное тестирование. Эти действия являются нисходящими из действий разработки и верификации типового кодекса и исходного кода. Компилятор является сторонним инструментом, который не обеспечивается MathWorks® и поэтому независимо. Ошибки, введенные компилятором, обнаруживаемы процессом тестирования.
Рисунок 2: разработка исполняемого объектного кода и верификация
