exponenta event banner

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

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

Для поддержки проверяемого кода выберите параметр конфигурации Remove code from floating-point to integer conversions, который переносит значения за пределы диапазона

Примечания

Избегайте переполнения, а не обработки кода обертки.

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

ОбъяснениеПоддержка создания кода, который может быть проверен.
Проверки помощника по моделиПроверка параметров оптимизации, связанных с безопасностью, для преобразований типов данных (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 (1d) «Использование защитных технологий реализации»

  • EN 50128, таблица A.3 (1) «Оборонительное программирование»

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

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