WikiDer > Stateflow
 Логика управления автоматической коробкой передач | |
| Разработчики) | 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]
Расширения
Ряд MathWorks и сторонних инструментов можно использовать с Stateflow для проверки дизайна и генерации кода. Например, Simulink Verification and Validation, инструмент MathWorks, можно использовать для проверки прослеживаемость требований и анализ покрытия модели. Для автоматической генерации кода C, C ++, HDL и PLC для реализации во встроенных системах можно использовать другие дополнительные инструменты генерации кода.
Рекомендации
- ^ MathWorks - Stateflow - Требования
- ^ MATLAB Tech Talks об основах и использовании конечных автоматов
- ^ Моделирование гибридных систем с использованием Stateflow
- ^ Грегуар Хамон и Джон Рашби. «Операционная семантика для Stateflow» (PDF). Представлено на конференции "Фундаментальные подходы к разработке программного обеспечения" (FASE) Барселона, Испания, март 2004 г.. SRI International Лаборатория компьютерных наук.CS1 maint: использует параметр авторов (связь)
- ^ Orion GN&C MATLAB / Simulink / Стандарты Stateflow
- ^ А. Тивари. "Формальная семантика и методы анализа для моделей Simulink Stateflow" (PDF). SRI International Лаборатория компьютерных наук. Цитировать журнал требует
| журнал =(помощь) - ^ Тестирование на основе требований при проектировании систем управления воздушным судном
- ^ Советы по моделированию Embedded Coder Robot NXT