Wolfram SystemModeler — коммерческая программная платформа для моделирования и симуляции сложных инженерных и физических систем, основанная на языке Modelica. Пакет предоставляет средства для составления компонентных моделей с использованием библиотек компонентов, выполнения численного интегрирования моделей и анализа результатов в интегрированной среде. SystemModeler ориентирован на многодоменные модели, в которых объединяются механические, электрические, гидравлические, тепловые и управленческие подсистемы.
Среда сочетает графический редактор для сборки моделей из переиспользуемых блоков и текстовые описания на языке Modelica для детальной спецификации поведения. Продукт интегрируется с вычислительной системой Mathematica для подготовки входных данных, управления симуляциями и постобработки результатов, что позволяет использовать мощные средства визуализации и анализа. История развития связана с эволюцией инструментария Modelica и коммерческих реализаций этой парадигмы моделирования; за время существования платформа претерпевала изменения в функционале, библиотеках и интеграции с сопутствующими продуктами.
- Моделирование на языке Modelica: поддержка компонентов и моделей, совместимых со стандартом Modelica, позволяющая описывать многофизические системы декларативно.
- Графический редактор моделей: визуальная сборка систем из блоков и соединений с возможностью настройки параметров и структуры модели.
- Библиотеки компонентов: поставляемые и пользовательские библиотеки для различных предметных областей (механика, электроника, гидравлика, теплообмен, управление и др.).
- Численные солверы и симуляция: набор алгоритмов для решения дифференциально-алгебраических уравнений, оптимизированных для жестких и разреженных систем.
- Интеграция с Mathematica: возможность запуска симуляций, передачи параметров и анализа результатов из среды Mathematica, использование её средств визуализации и вычислений.
- Параметрический анализ и оптимизация: средства для исследования чувствительности, поиска оптимальных параметров и проведения серийных прогонов с изменением входных условий.
- Экспорт и обмен моделями: возможности экспорта моделей и результатов в разные форматы для дальнейшего анализа или интеграции с внешними инструментами.
- Инструменты верификации и отладки: средства для тестирования компонентов, проверки корректности связей и отслеживания ошибок моделирования.
- Поддержка сценариев разработки: функции управления версиями моделей, документирования и повторяемости симуляций в рамках инженерного процесса.