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

Идентификатор: Заголовок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) «Анализ потока управления»

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

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

  • EN 50128, таблица A.4 (11) 'Language Subset'
    EN 50128, таблица A.3 (1) 'Defensive Programming'
    EN 50128, таблица A.4 (8) 'Сильно типизированный язык программирования'
    EN 50128, таблица A.19 (3) «Анализ потока управления»

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

  • MISRA C:2012, Dir 4.1

Последнее изменениеR2018b
Примеры

Рекомендуется

Не рекомендуется