Exponenta Banner

hisf_0001: Тип Конечного автомата

ID: Заголовокhisf_0001: Тип Конечного автомата
ОписаниеЧтобы создать графики Stateflow®, которые реализуют сопоставимую семантику Stateflow, используйте тот же State Machine Type (Classic, Mealy, или Moore) для всех графиков в модели.
Примечание

В диаграммах Мили действия сопоставлены с переходами. В графиках Мура действия сопоставлены с состояниями. В Классических графиках действия могут быть сопоставлены и с переходом и с состояниями.

Во время компиляции Stateflow проверяет, что семантика графика выполняет формальные определения и правила выбранного типа конечного автомата. Если семантика графика не находится в податливости, программное обеспечение предоставляет диагностическое сообщение.

ОбъяснениеПродвиньте ясный стиль моделирования.
Проверки Model AdvisorПроверяйте тип конечного автомата диаграмм Stateflow (Simulink Check)
Ссылки

  • IEC 61508-3, Таблица A.3 (3) - Языковое подмножество

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

  • ISO 26262-6, Таблица 1 (1b) 'Использование языковых подмножеств'

  • EN 50128, таблица A.4 (11) 'языковое подмножество'

  • DO-331, Раздел MB.6.3.2.b 'Низкоуровневые требования точен и сопоставим'

Смотрите также
В последний раз измененныйR2018b

Документация IEC Certification Kit

Поддержка