Exponenta Banner
exponenta event banner

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

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

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

A

В диалоговом окне Свойств графика» выберите «User specified state/transition execution order».

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

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

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

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

Это руководство поддерживает соблюдение:

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

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка'
    IEC 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) 'Language Subset'
    EN 50128, таблица A.12 (1) «Стандарт кодирования»
    EN 50128, таблица A.12 (2) 'Руководство по стилю кодирования'

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

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

Поддержка