exponenta event banner

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

Идентификатор: Заголовок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, Section MB.6.3.1.g 'Алгоритмы точны "
    DO-331, Section MB.6.3.2.g 'Алгоритмы точны "

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

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

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

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

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

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