Exponenta Banner

hisl_0053: Параметры конфигурации> Генерация кода> Оптимизация> Удаляет код от с плавающей точкой до целочисленных преобразований, который переносит значения из области значений

ID: Заголовокhisl_0053: Параметры конфигурации> Генерация кода> Оптимизация> Удаляет код от с плавающей точкой до целочисленных преобразований, который переносит значения из области значений
Описание

Чтобы поддержать верифицируемый код, выберите параметр конфигурации Remove code from floating-point to integer conversions that wraps out-of-range values

Примечания

Избегайте переполнения в противоположность обработке их с кодом обертки.

Для блоков, параметр конфигурации Saturate on integer overflow которых очищен, отменив выбор Remove code from floating-point to integer conversions that wraps out-of-range values, может добавить код, который переносится из значений области значений, приводящих к недостижимому коду, который не может быть протестирован.

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

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

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

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

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

  • EN 50128, таблица A.3 (1) 'безопасное программирование'

  • MISRA C:2012, правило 2.1

Смотрите такжеУдалите код от с плавающей точкой до целочисленных преобразований, который переносит значения из области значений (Simulink Coder) в документацию Simulink®
В последний раз измененныйR2018b

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

Поддержка