Exponenta Banner

db_0151: State machine patterns for transition actions

ID: Заголовок

db_0151: шаблоны Конечного автомата для действий перехода

Приоритет

Строго рекомендуемый

Осциллограф

MAAB

Версии MATLAB

Все

Предпосылки

'none'

Описание

Следующие шаблоны используются в действиях перехода в машине состояний Stateflow®:

Эквивалентная функциональностьШаблон конечного автомата

Одно действие перехода: 

action;

Два или больше действия перехода, многострочная форма:

(Два или больше действия перехода в одной линии не позволены.) 

action1;  
action2;  
action3;

Объяснение

  • Удобочитаемость

  • Рабочий процесс

  • Верификация и валидация

  • Генерация кода

  • Симуляция

В последний раз измененный

V2.2

Проверка Model Advisor

By Task> Modeling Standards for MAAB> Stateflow> Check transition actions in Stateflow charts

Для получения дополнительной информации проверки смотрите действия перехода Проверки в диаграммах Stateflow (Simulink Check).

Введен в R2010a

Документация Simulink
Поддержка