Exponenta Banner
exponenta event banner

hisl_0302: Параметры конфигурации > Диагностика > Валидность данных > Параметры

Идентификатор: Заголовокhisl_0302: Параметры конфигурации > Диагностика > Валидность данных > Параметры
Описание

В диалоговом окне Параметров конфигурации на панели Diagnostics > Data Validity установите следующие параметры Parameters:

  • Detect downcast с error

  • Detect underflow с error

  • Detect loss of tunability с error

  • Detect overflow с error

  • Detect precision loss с error

Объяснение

Улучшите робастность проекта.

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

  • DO-331, раздел MB.6.3.1.g - Алгоритмы точны
    DO-331, раздел MB.6.3.2.g - Алгоритмы точны.

  • IEC 61508-3, Таблица A.4 (3) «Оборонительное программирование»

  • МЭК 62304, 5.5.3 - Критерии приемки Модуля ПО

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»
    ISO 26262-6, Таблица 1 (1d) «Использование защитных методов реализации»

  • EN 50128, таблица A.3 (1) 'Defensive Programming'

См. также

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

Последнее изменениеR2018b

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

Поддержка