Exponenta Banner

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

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

В диалоговом окне Configuration Parameters, на 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, Раздел MB.6.3.1.g 'Алгоритмы точен'
    DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен'
    DO-331, Раздел MB.6.3.3.b 'Программная архитектура сопоставим'

  • IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество'
    IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование'

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

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

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

  • MISRA C:2012, Dir 4.1

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

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

Поддержка