Интеграция Polyspace в среду разработки Simulink

Концепция модельно-ориентированного проектирования подразумевает автоматическую генерацию кода из моделей. Такой код необходимо проверить на отсутствие ошибок времени исполнения, соответствие стандартам кодирования и получить его метрики. Будет продемонстрировано, как продукты Polyspace интегрируются в среду разработки Simulink, которая является основой для МОП.