Exponenta Banner
exponenta event banner

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

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

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

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

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

  • МЭК 61508-3, Таблица A.3 (3) - Поднабор языка

  • МЭК 62304, 5.5.3 - Критерии приемки установки программного обеспечения

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

  • EN 50128, Таблица A.4 (11) «Поднабор языка»

  • DO-331, раздел MB.6.3.2.b «Требования низкого уровня являются точными и последовательными»

См. также
Последнее изменениеR2018b

Документация по комплекту сертификации МЭК

Поддержка