Exponenta Banner

hisl_0311: Параметры конфигурации> Диагностика> Stateflow

ID: Заголовокhisl_0311: Параметры конфигурации> Диагностика> Stateflow®
Описание

В диалоговом окне Configuration Parameters, на Diagnostics> панель Stateflow, устанавливает эти параметры:

  • Unexpected backtracking к error

  • Invalid input data access in chart initialization к error

  • No unconditional default transitions к error

  • Transitions outside natural parent к error

  • Undirected event broadcasts к error

  • Transition action specified before condition action к error

  • Unreachable execution path к error

Объяснение

Улучшите робастность проекта и продвиньте ясный стиль моделирования.

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

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

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

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

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

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

  • MISRA C:2012, правило 17.2

Смотрите также

Параметры конфигурации модели: Диагностика Stateflow (Simulink) в документации Simulink®

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

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

Поддержка