Simulink — это среда графического программирования на базе MATLAB для моделирования, моделирования и анализа многодоменных динамических систем . Его основной интерфейс представляет собой графический инструмент для построения блок-схем и настраиваемый набор библиотек блоков . Он обеспечивает тесную интеграцию с остальной средой MATLAB и может либо управлять MATLAB, либо создавать сценарии из него. Simulink широко используется в автоматическом управлении и цифровой обработке сигналов для многодоменного моделирования и проектирования на основе моделей . [2] [3]
MathWorks и другие аппаратные и программные продукты сторонних производителей можно использовать с Simulink. Например, Stateflow расширяет Simulink средой проектирования для разработки конечных автоматов и блок-схем .
MathWorks утверждает, что в сочетании с другим их продуктом [4] Simulink может автоматически генерировать исходный код C для реализации систем в реальном времени . По мере повышения эффективности и гибкости кода он становится все более широко распространенным для производственных систем, [5] [6] в дополнение к тому, что он является инструментом для работы по проектированию встроенных систем из-за его гибкости и способности к быстрой итерации . . Embedded Coder создает код, достаточно эффективный для использования во встроенных системах. [7] [8] [9]
Simulink Real-Time (ранее известный как xPC Target) вместе с системами реального времени на базе x86 представляет собой среду для моделирования и тестирования моделей Simulink и Stateflow в реальном времени в физической системе. Другой продукт MathWorks [10] также поддерживает определенные встроенные цели. При использовании с другими универсальными продуктами [11] Simulink и Stateflow могут автоматически генерировать синтезируемые VHDL и Verilog .
Simulink Verification and Validation обеспечивает систематическую проверку и проверку моделей посредством проверки стиля моделирования, отслеживания требований и анализа покрытия модели. Simulink Design Verifier использует формальные методы для выявления ошибок проектирования, таких как целочисленное переполнение , деление на ноль и мертвая логика, а также генерирует сценарии тестовых примеров для проверки модели в среде Simulink.
SimEvents используется для добавления библиотеки графических строительных блоков для моделирования систем массового обслуживания в среду Simulink, а также для добавления механизма моделирования на основе событий к механизму моделирования на основе времени в Simulink. [12]