hisl_0001: Использование блока Abs

ID: Заголовокhisl_0001: Использование блока Abs
ОписаниеПоддерживать робастность сгенерированного кода, при использовании блока Abs,
AИзбегайте булевых и типов данных без знака как входных параметров с блоком Abs.
BВыберите параметры блоков Saturate on integer overflow.
Примечания

Блок Abs не поддерживает булевы типы данных. Задавая тип входных данных без знака, может оптимизировать блок Abs из сгенерированного кода, приводящего к блоку, который вы не можете проследить до сгенерированного кода.

Для типов данных со знаком Simulink® не представляет абсолютное значение наиболее отрицательной величины. Когда вы выбираете Saturate on integer overflow, абсолютное значение типа данных насыщает к самому положительному представимому значению. Когда вы очищаете Saturate on integer overflow, вычисления абсолютного значения в симуляции и сгенерированном коде не могут быть сопоставимыми или ожидаться.

ОбъяснениеAПоддержите генерацию прослеживаемого кода.
BДостигните сопоставимого и ожидаемого поведения симуляции модели и сгенерированного кода.
Проверки Model Advisor Проверяйте использование блоков Abs (Simulink Check)
Ссылки
  • IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество'
    IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование'
    IEC 61508-3, Таблица A.3 (2) 'Язык программирования со строгим контролем типов’
    IEC 61508-3, таблица B.8 (3) 'анализ потока управления'

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

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

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

  • DO-331, Раздел MB.6.3.2.d 'Низкоуровневые требования поддается проверке'

  • MISRA C:2012, Dir 4.1

В последний раз измененныйR2018b
Примеры

Рекомендуемый

Не рекомендуемый