Exponenta Banner

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

Идентификатор: Заголовок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) «Оборонительное программирование »

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

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

  • EN 50128, таблица A.4 (11) 'Language Subset'
    EN 50128, таблица A.3 (1) 'Defensive Programming'

  • DO-331, Section MB.6.3.2.g 'Алгоритмы точны'

  • MISRA C:2012, Dir 4.1

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

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

Поддержка