Exponenta Banner

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

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

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

A

В диалоговом окне Chart Properties выберите 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 'Низкоуровневые требования точен и сопоставим'
    DO-331, Раздел MB.6.3.3.b 'Программная архитектура сопоставим'
    DO-331, Раздел MB.6.3.3.e 'Программная архитектура соответствует стандартам'

  • IEC 61508–3, Таблица A.3 (3) 'Языковое подмножество'
    IEC 61508–3, Таблица A.4 (5) 'Проект и стандарты кодирования'

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

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

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

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

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

Поддержка