MathWorks SystemTest

Программное обеспечение MathWorks SystemTest – это среда для организации тестирования алгоритмов MATLAB и проверки отказоустойчивости Simulink систем. Пакет MathWorks SystemTest включает в себя шаблоны тестов для создания специальных процедур проверки, позволяет организовать коллективный доступ к процедурам тестирования для большой команды разработчиков на протяжения всей работы с проектом. Пакет MathWorks SystemTest обеспечивает удобные средства для проведения тестов, просмотра результатов и графиков, обладает всей функциональностью MATLAB для обработки тестовых данных и автоматизации тестовых процессов.

MathWorks Simulink HDL Coder

Программное обеспечение MathWorks Simulink HDL Coder – продукт семейства MATLAB & Simulink для генерации полноценного HDL-кода по Simulink моделям и Stateflow диаграммам. Пакет MathWorks Simulink HDL Coder расширяет возможности разработки аппаратных устройств в среде MATLAB и обеспечивает генерацию VHDL и Verilog кода c побитовым и цикловым соответствием исходной модели Simulink. Simulink HDL Coder позволяет создавать аппаратные устройства на основе программируемых логических интегральных схемах (ПЛИС-FPGA/ASIC), разрабатывать прототипы тестировать и проверять HDL-реализации Simulink-моделей.

MathWorks System Identification Toolbox

Программное обеспечение MathWorks System Identification Toolbox – это пакет расширения MATLAB, содержащий инструменты создания математических моделей динамических систем на основе наблюдаемых входных/выходных данных. Пакет MathWorks System Identification Toolbox снабжен гибким графическим интерфейсом, помогающим организовывать данные и создавать модели. Методы идентификации, входящие в пакет MathWorks System Identification Toolbox, применимы для широкого класс задач от проектирования систем управления и обработки сигналов до анализа временных рядов и вибраций.

MathWorks Simulink Fixed Point

Программное обеспечение MathWorks Simulink Fixed Point – это расширение Simulink, позволяющее моделировать и проектировать системы, использующие арифметику с фиксированной точкой. Пакет MathWorks Simulink Fixed Point позволяет проводить имитационное моделирование с битовой точностью, исследовать эффекты дискретизации и насыщения для систем цифровой обработки сигналов, связи, систем управления и др. в моделях построенных при помощи Simulink, Stateflow, Signal Processing Blockset и др. Автоматизированные мастера пошагово помогают преобразовать модели с плавающей точкой в представление с фиксированной точкой.

MathWorks Symbolic Math Toolbox

Программное обеспечение Symbolic Math Toolbox является расширением MATLAB, содержащим функции аналитических преобразований и поддерживающим арифметику произвольной точности. Symbolic Math Toolbox содержит сотни символьных функций MATLAB, которые усиливают ядро MuPAD для задач дифференцирования, интегрирования, преобразования и решения уравнений. Symbolic Math Toolbox включает язык MuPAD, оптимизированный для работы с символьными математическими выражениями. Комплект предлагает библиотеки функций MuPAD для общих математических областей (исчисления и линейная алгебра) и для специализированных областей (теория чисел и комбинаторика). Пользователи могут расширять функционал написанием собственных символьных функций и библиотек на языке MuPAD. Все функции доступны из командной строки MATLAB и через интерфейс MuPAD, в котором удобно управлять своими символьными вычислениями и документировать их.

MathWorks Simulink Design Verifier

Программное обеспечение MathWorks Simulink Design Verifier предназначено для автоматического создания набора тестов, который удовлетворяет полному покрытию модели и требованиям разработчика. Кроме того, MathWorks Simulink Design Verifier осуществляет подтверждение параметров модели и выявляет нарушения работы системы. Simulink Design Verifier проверяет модель по таким критериям, как решения, условия, покрытия условий модифицируемым решением (MC/DC). Пользователи могут собственноручно устанавливать критерии оценки качества модели посредством специализированных блоков. С помощью методик доказательств свойств моделей удобно проверять работу системы, выявляя нереализованные требования, специфические и нежелательные состояния системы, которые тяжело обнаружить, используя только симуляцию.

MathWorks Statistics Toolbox

Программное обеспечение MathWorks Statistics Toolbox представляет собой пакет расширения MATLAB, обеспечивающий исследователей, инженеров и финансовых аналитиков полным набором средств для статистической обработки данных. MathWorks Statistics Toolbox содержит функции и интерактивные инструменты для анализа временных рядов, статистических моделей, исторических данных, а также средства разработки статистических алгоритмов. Statistics Toolbox предназначен для решения задач, от элементарной статистики, до разработки сложных нелинейных моделей с большим количеством переменных. Функции линейного и нелинейного моделирования позволяют оценивать влиянии предикторных переменных на функцию отклика. Робастная оценка позволяет найти вылеты в исходных данных и снизить эффект их влияния на модель.

MathWorks Simulink Design Optimization

Программное обеспечение MathWorks Simulink Design Optimization является инструментом, позволяющим по входным и выходным данным реальной физической системы настраивать и калибровать ее модель в Simulink. Комплект MathWorks Simulink Design Optimization предоставляет простой графический интерфейс для определения и калибровки параметров системы, начальных условий для дифференциальных уравнений, различных табличных функциональных соотношений. Функции MathWorks Simulink Design Optimization дают возможность, используя реальные временные характеристики физического прототипа системы, более точно настраивать его математическую модель в Simulink.

MathWorks Stateflow

Программное обеспечение MathWorks Stateflow – это расширение среды Simulink для моделирования логики событий, состояний и переходов в сложных событийных системах. Stateflow представляет собой язык, элементы которого описывают логику поведения систем в естественной, читаемой, и понятной форме. Stateflow тесно интегрирован с MATLAB и Simulink, образуя таким образом среду для эффективного проектирования логики систем управления и микропроцессорных устройств.

MathWorks Simulink Control Design

Программное обеспечение Simulink Control Design является комплектом расширений Simulink для линеаризации комплексных нелинейных объектов. Функции и графические инструменты Simulink Control Design позволяют проводить анализ линеаризованной модели в частотной области, настраивать параметры регулятора и синтезировать систему управления. В состав пакета Simulink Control Design входят средства для работы со сложными нелинейными объектами и многоконтурными системами управления, возможности интерактивного синтеза регуляторов классическими и специальными методами (размещение полюсов, модальное регулирование, частотные характеристики, синтез наблюдателей, линейно-квадратичное управление (LQG, LQR), фильтр Калмана).

MathWorks Spreadsheet Link EX

Программное обеспечение MathWorks Spreadsheet Link EX является расширением для предоставления доступа к MATLAB-функциям из среды Microsoft Excel. Решение MathWorks Spreadsheet Link EX позволяет с помощью простого и привычного интерфейса Microsoft Excel применять мощную математику и графику MATLAB для обработки табличных данных. Инженеры могут легко обращаться из Excel к рабочему пространству MATLAB, импортировать и экспортировать данные. Пакет MathWorks Spreadsheet Link EX предоставляет доступ ко всем переменным MATLAB и к описаниям объектов из таблиц, формул и макросов Visual Basic. В результате достигается тесная интеграция и расширяются возможности среды.

MathWorks Simulink Code Inspector

Программное обеспечение Simulink Code Inspector предназначено для автоматического сравнения сгенерированного кода с его исходной моделью в целях удовлетворения требований инспекции кода для DO-178 и других стандартов разработки критичного к безопасности ПО. Решение Simulink Code Inspector систематически проверяет блоки, параметры и настройки в модели, чтобы определить, являются ли они структурно эквивалентными операциями, операторами и данными в сгенерированном коде. Simulink Code Inspector делает подробный анализ отслеживаемости между моделью и кодом, генерируя отчеты структурной эквивалентности и отслеживаемости, которые можно представлять в сертификационный орган при сертификации по DO-178.

MathWorks Simulink

Программное обеспечение MathWorks Simulink – это графическая среда имитационного моделирования, позволяющая при помощи блок-диаграмм в виде направленных графов, строить динамические модели, включая дискретные, непрерывные и гибридные, нелинейные и разрывные системы. Интерактивная среда MathWorks Simulink, позволяет использовать уже готовые библиотеки блоков для моделирования электромеханических и гидравлических систем. MathWorks Simulink применяет развитый модельно-ориентированный подход при разработке систем управления и средств цифровой связи.

MathWorks SimRF

Программное обеспечение SimRF является библиотекой компонентов и средой моделирования для разработки высокочастотных систем. В состав библиотеки SimRF входят смесители, усилители, блоки, заданные S-параметрами, и другие основные блоки для проектирования и моделирования беспроводных приемопередатчиков. Пользователи могут подключать эти компоненты произвольно и формировать разнообразные структуры для моделирования межэлементных взаимодействий. SimRF может имитировать усиление, шум и интермодуляционные искажения, которые часто возникают при использовании высокочастотных усилителей.

MathWorks Simulink Verification and Validation

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

MathWorks SimPowerSystems

Программное обеспечение MathWorks SimPowerSystems – это библиотека Simulink, которая добавляет инструменты для моделирования электросиловых систем генерации, передачи, распределения и потребления электроэнергии. Библиотека MathWorks SimPowerSystems содержит готовые модели многих компонентов, используемых в трансформаторах, двигателях и библиотеки специфичных моделей, таких как гибкие системы передачи переменного тока (FACTS) и ветровые генераторы. В системе MathWorks SimPowerSystems автоматизированы гармонический анализ, расчет коэффициента нелинейных искажений (КНИ) и другие ключевые вычисления энергосистемы. Модели SimPowerSystems могут быть дискретизированы для повышения скорости симуляции.

MathWorks Simulink Report Generator

Программное обеспечение MathWorks Simulink Report Generator – это средство генерации отчетов из среды Simulink. MathWorks Simulink Report Generator позволяет автоматически документировать модели Simulink и Stateflow, включать технические требования и спецификации в состав отчетов, управлять шаблонами и настраивать внешний вид генерируемой документации. Пакет MathWorks Simulink Report Generator позволяет создавать отчеты в форматах: HTML, PDF, RTF, DOC и XML.

MathWorks SimMechanics

Программное обеспечение MathWorks SimMechanics – это библиотека Simulink для физического моделирования механических систем. Решение MathWorks SimMechanics позволяет создавать модели механических объектов и совместно с другими пакетами MathWorks разрабатывать реальные прототипы систем управления. Возможности библиотеки MathWorks SimMechanics обеспечивают моделирование механических систем с использованием модели абсолютно твердого тела, моделирование различных соединений и ограничений, моделирование линейных и угловых движений заданных уравнениями сил и моментов, моделирование систем с помощью ненаправленных сигнальных графов.

MathWorks Simulink PLC Coder

Программное обеспечение MathWorks Simulink PLC Coder представляет собой инструмент для модельно-ориентированного проектирования в промышленной сфере и позволяет автоматически генерировать соответствующий стандарту IEC 61131 код для программируемых логических контроллеров (PLC) и программируемых контроллеров автоматизации (PAC). Специалисты MathWorks Simulink PLC Coder могут использовать средство проектирование для промышленного и силового оборудования, управляемого PLC и PAC.

MathWorks SimHydraulics

Программное обеспечение MathWorks SimHydraulics – это библиотека Simulink для физического моделирования гидравлических систем. Пакет MathWorks SimHydraulics расширяет среду имитационного моделирования MATLAB & Simulink, позволяя строить модели сложных гибридных гидромеханических, электромеханических объектов и систем управления для них. SimHydraulics применяется в машиностроении, аэрокосмической, оборонной и автомобильной отрасли для моделирования таких объектов как: трансмиссии и гидроусилители, исполнительные механизмы управляющих плоскостей самолетов и гидромеханические привода тяжелой техники.