Логика управления автоматической коробкой передач | |
Разработчики) | MathWorks |
---|---|
Стабильный выпуск | R2018b / 12 сентября 2018 г . |
Предварительный выпуск | R2018b / 14 июня 2018 г . |
Операционная система | Windows , macOS , Linux [1] |
Платформа | x64 |
Тип | Программное обеспечение |
Лицензия | Проприетарный |
Интернет сайт | Страница продукта Stateflow |
Stateflow (разработанный MathWorks ) - это инструмент логики управления, используемый для моделирования реактивных систем с помощью конечных автоматов и блок-схем в модели Simulink . Stateflow использует вариант нотации конечного автомата, установленной Дэвидом Харелом , что позволяет отображать иерархию, параллелизм и историю в диаграмме состояний. [2] [3] Stateflow также предоставляет таблицы переходов состояний и таблицы истинности .
Обычное использование [ править ]
Stateflow обычно используется для определения дискретного контроллера в модели гибридной системы, где непрерывная динамика (то есть поведение объекта и окружающей среды) задается с помощью Simulink. [4] [5]
Конкретные приложения для Stateflow включают:
- Логика режима , где каждый дискретный режим системы представлен состоянием [6]
- Управление сбоями, где диаграмма Stateflow используется для управления тем, как система реагирует на сбои и сбои в системе [7]
- Планирование задач , где диаграмма Stateflow используется для планирования, когда возникают определенные задачи, либо в диаграмме Stateflow, либо в общей модели Simulink [8]
Расширения [ править ]
С Stateflow можно использовать ряд MathWorks и сторонних инструментов для проверки дизайна и генерации кода. Например, Simulink Verification and Validation, инструмент MathWorks, можно использовать для проверки прослеживаемости требований и анализа покрытия модели. Другие дополнительные инструменты генерации кода могут использоваться для автоматической генерации кода C, C ++, HDL и PLC для реализации во встроенных системах.
Ссылки [ править ]
- ^ MathWorks - Stateflow - Требования
- ^ MATLAB Tech Talks об основах и использовании конечных автоматов
- ^ Моделирование гибридных систем с использованием Stateflow
- ^ Грегуар Хэмон и Джон Рашби . «Операционная семантика для Stateflow» (PDF) . Представлено на основных подходах к разработке программного обеспечения (FASE) Барселона, Испания, март 2004 . Международная лаборатория компьютерных наук НИИ .CS1 maint: использует параметр авторов ( ссылка )
- ^ Orion GN&C MATLAB / Simulink / Стандарты Stateflow
- ^ А. Тивари. "Формальная семантика и методы анализа для моделей Simulink Stateflow" (PDF) . Международная лаборатория компьютерных наук НИИ . Цитировать журнал требует
|journal=
( помощь ) - ^ Тестирование на основе требований при проектировании управления воздушным судном
- ^ Советы по моделированию Embedded Coder Robot NXT