Exponenta Banner

hisl_0028: Использование Взаимных блоков Квадратного корня

ID: Заголовокhisl_0028: Использование Взаимных блоков Квадратного корня
Описание

Чтобы поддержать робастность сгенерированного кода, при использовании блока Reciprocal Square Root, выполняют одно из следующих действий:

A

Защитите вход от движения отрицательного.

B

Защитите вход от попытки обнулить.

Примечание

Можно получить операцию деления на нуль, приводящую к (Inf) выходное значение для взаимной функции. Чтобы избежать переполнения или неопределенных значений, защитите соответствующий вход от попытки обнулить.

ОбъяснениеA, B Избегайте нежелательных результатов в сгенерированном коде.
Проверки Model AdvisorПроверяйте использование Взаимных блоков Sqrt (Simulink Check)
Ссылки

  • IEC 61508-3, Таблица A.3 (3) 'Языковое подмножество'
    IEC 61508-3, Таблица A.4 (3) 'Безопасное программирование'

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

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

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

  • DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен'

  • MISRA C:2012, Dir 4.1

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

Документация IEC Certification Kit

Поддержка