Exponenta Banner

hisf_0011: настройки отладки Stateflow

ID: Заголовок

hisf_0011: настройки отладки Stateflow®

Описание

Защищать от недостижимого кода и неопределенное время выполнения,

A

Установите параметры конфигурации Wrap on overflow и Simulation range checking к error.

В модели откройте вкладку Debug и выберите Diagnostics> Detect Cyclical Behavior

B

Щелкните правой кнопкой по каждой таблице истинности в модели и выберите Properties. Установите эти параметры на Error:

  • Underspecification

  • Overspecification

Примечания

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

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

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

  • IEC 61508-3, Таблица A.3 (2) ‘Язык программирования со строгим контролем типов’
    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 (1c) 'Осуществление строгого контроля типов'
    ISO 26262-6, Таблица 1 (1d) - 'Использование защитных методов реализации'
    ISO 26262-6, Таблица 1 (1e) - 'Использование хорошо доверяемых принципов разработки'
    ISO 26262-6, Таблица 1 (1f) - 'Использование однозначного графического представления'
    ISO 26262-6, Таблица 1 (1g) - 'Использование руководств по стилю'
    ISO 26262-6, Таблица 1 (1 ч) - 'Использование соглашений о присвоении имен'

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

Смотрите такжеЗадайте свойства функций таблицы истинности (Stateflow)
В последний раз измененныйR2017b

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

Поддержка