Exponenta Banner
exponenta event banner

hisf_0002: Заданное пользователем состояние/порядок выполнения перехода

Идентификатор: Заголовокhisf_0002: Заданное пользователем состояние/порядок выполнения перехода
Описание

Чтобы явно задать порядок выполнения для активных состояний и допустимых переходов в диаграммах Stateflow ®, выполните следующие действия.

A

В диалоговом окне Свойства диаграммы выберите Заданное пользователем состояние/порядок выполнения перехода.

Предпосылкиhisl_0311: Параметры конфигурации > Диагностика > Поток состояния (Simulink)
Примечание

Выбор заданного пользователем порядка выполнения состояния/перехода ограничивает зависимость семантики диаграммы Stateflow от геометрического положения параллельных состояний и переходов.

Указание порядка выполнения состояний и переходов позволяет принудительно применять детерминизм в порядке поиска активных состояний и допустимых переходов. Имеется управление порядком, в котором выполняются параллельные состояния и проверяются на выполнение переходы, исходящие из источника. Если явно не задать порядок выполнения, программа Stateflow определяет порядок выполнения, следуя детерминированному алгоритму.

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

Данное руководство поддерживает следующие принципы:

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

  • МЭК 61508-3, Таблица A.3 (3) «Поднабор языка»
    МЭК 61508-3, Таблица A.4 (5) «Стандарты проектирования и кодирования»

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

  • ISO 26262-6, Таблица 1 (1b) «Использование языковых поднаборов»
    ISO 26262-6, Таблица 1 (1e) «Использование надежных принципов проектирования»
    ISO 26262-6, Таблица 1 (1f) «Использование однозначного графического представления»
    ISO 26262-6, Таблица 1 (1g) «Использование руководств по стилю»

  • EN 50128, Таблица A.4 (11) «Поднабор языка»
    EN 50128, Таблица A.12 (1) «Стандарт кодирования»
    EN 50128, Таблица A.12 (2) «Руководство по стилю кодирования»

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

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

Поддержка