Exponenta Banner

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

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

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

  • Signal resolution с Explicit only

  • Division by singular matrix с error

  • Underspecified data types с error

  • Inf or NaN block output с error

  • “rt” prefix for identifiers с error

  • Wrap on overflow с error

  • Saturate on overflow с error

  • Simulation range checking с error

Объяснение

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

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

  • DO-331, раздел MB.6.4.2.2 «Случаи испытаний на робастность»
    DO-331, раздел MB.6.4.3 «Основанные на требованиях методы проверки »
    DO-331, раздел MB.6.3.1.e «Требования высокого уровня соответствуют стандартам»
    DO-331, раздел MB.6.3.2.e 'Низкоуровневые требования соответствуют стандартам'
    DO-331, Section MB.6.3.1.g 'Алгоритмы точны'
    DO-331, Section MB.6.3.2.g 'Алгоритмы точны'
    DO-331, Section MB.6.3.3.b 'Программная архитектура is consistent'

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка "
    IEC 61508-3, Таблица A.4 (3) «Оборонительное программирование »

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

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

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

  • MISRA C:2012, Dir 4.1

См. такжеПараметры конфигурации модели: диагностика валидности данных (Simulink)
Последнее изменениеR2018a

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

Поддержка