Simulink

С Simulink могут использоваться как продукты MathWorks, так и другие сторонние аппаратные и программные средства. Например, Stateflow расширяет возможности Simulink, предоставляя среду проектирования для разработки конечных автоматов и блок-схем.

При совместном использовании Simulink с отдельными продуктами^[4] MathWorks утверждает, что система может автоматически генерировать исходный код на C для реализации в режиме реального времени. Благодаря улучшению производительности и гибкости такого кода система становится все более популярной в проектах по разработке встраиваемых систем и производственных решениях^[5][6]. Embedded Coder позволяет создавать код, достаточно эффективный для использования во встраиваемых системах^[7].^[8][9]

Simulink Real-Time (ранее xPC Target) предназначен для симуляции и тестирования моделей Simulink и Stateflow на физических системах в реальном времени на базе x86-архитектуры. Другой продукт MathWorks^[10] поддерживает определённые встроенные цели. При использовании с другими специализированными продуктами^[11], Simulink и Stateflow могут автоматически генерировать код для VHDL и Verilog.

Simulink Verification and Validation предоставляет средства системной верификации и валидации моделей — включая контроль стиля моделирования, трассируемость требований и анализ покрытия моделей. Simulink Design Verifier использует формальные методы, чтобы выявлять такие ошибки проектирования, как переполнение целых чисел, деление на ноль и неиспользуемую логику, а также создавать сценарии тестирования для контроля моделей.

SimEvents добавляет в среду Simulink библиотеку графических блоков для моделирования систем с очередями, а также реализует событийный движок моделирования, дополняя традиционный моделировщик на основе времени^[12].