Exponenta Banner
exponenta event banner

hisf_0011: параметры отладки Stateflow

Идентификатор: Заголовок

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.2.b 'Низкоуровневые требования точны и непротиворечивы'
    DO-331, раздел MB.6.3.3.d 'Программная архитектура is verifiable'

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

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

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

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

Поддержка