Государственный поток
 Логика управления системой автоматической коробки передач | |
| Разработчик(и) | MathWorks |
|---|---|
| Стабильная версия | Р2018б / 12 сентября 2018 г |
| Предварительный выпуск | Р2018б / 14 июня 2018 г |
| Операционная система | Windows , macOS , Linux [1] |
| Платформа | х64 |
| Тип | Прикладное программное обеспечение |
| Лицензия | Собственный |
| Веб-сайт | Страница продукта 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 г. НИИ . Международная лаборатория компьютерных наук
- ^ Orion GN&C MATLAB/Simulink/Стандарты Stateflow
- ^ А. Тивари. «Формальная семантика и методы анализа для моделей потока состояний Simulink» (PDF) . НИИ . Международная лаборатория компьютерных наук
{{cite journal}}: Для цитирования журнала требуется|journal=( помощь ) - ^ Тестирование на основе требований при проектировании управления самолетом
- ^ Советы по моделированию встроенного кодера-робота NXT