exponenta event banner

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

Идентификатор: Заголовокhisl_0001: Использование блока Abs
ОписаниеДля обеспечения надежности генерируемого кода при использовании блока Abs
AИзбегайте логических и неподписанных типов данных в качестве входных данных блока Abs.
BВыберите параметр блока Насыщение при переполнении целого числа.
Примечания

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

Для подписанных типов данных Simulink ® не представляет абсолютное значение самого отрицательного значения. При выборе параметра «Насыщение при целочисленном переполнении» абсолютное значение типа данных достигает максимально положительного представимого значения. При сбросе параметра «Насыщение при переполнении целого числа» расчеты абсолютных значений в моделировании и сгенерированном коде могут быть непротиворечивыми или ожидаемыми .

ОбъяснениеAПоддержка генерации отслеживаемого кода.
BОбеспечение согласованного и ожидаемого поведения моделирования модели и сгенерированного кода.
Проверки помощника по модели Проверка использования блоков Abs (Simulink Check)
Ссылки
  • МЭК 61508-3, Таблица A.3 (3) «Поднабор языка»
    IEC 61508-3, таблица A.4 (3) «Оборонительное программирование»
    IEC 61508-3, Таблица A.3 (2) «Язык программирования со строгой типизацией »
    МЭК 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) «Поднабор языка»
    EN 50128, таблица A.3 (1) «Оборонительное программирование»
    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
Примеры

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

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