Exponenta Banner
exponenta event banner

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

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

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

Описание

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

A

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

В модели откройте вкладку Отладка (Debug) и выберите Диагностика (Diagnostics) > Обнаружить циклическое поведение (Detect Cyclical Behavior)

B

Щелкните правой кнопкой мыши каждую таблицу истинности в модели и выберите Свойства (Properties). Задайте для этих параметров значение Error:

  • Underspecification

  • Сверхспецификация

Примечания

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

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

  • DO-331, раздел MB.6.3.2.b «Требования низкого уровня являются точными и последовательными»
    DO-331, раздел MB.6.3.3.d «Проверка архитектуры программного обеспечения»

  • IEC 61508-3, таблица A.3 (2) «Сильно типизированный язык программирования»
    МЭК 61508-3, Таблица A.3 (3) - Поднабор языка
    МЭК 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) - Поднабор языка

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

Документация по комплекту сертификации МЭК

Поддержка