Exponenta Banner
exponenta event banner

hisl_0002: Использование блоков Math Function (rem и returcal)

Идентификатор: Заголовокhisl_0002: Использование блоков Math Function (rem и returcal)
Описание

Чтобы поддержать робастность сгенерированного кода, при использовании блока Math Function с оставшимся после деления (rem) или ответный (reciprocal) функции:

A

Защитите вход reciprocal функция от перехода к нулю.

B

Защитите второй вход rem функция от перехода к нулю.

Примечание

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

ОбъяснениеЗащита от переполнений и неопределенных числовых результатов.
Проверки Model AdvisorПроверяйте использование блоков Math Function (rem и обратные функции) (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

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

В следующем примере, когда входной сигнал колеблется около нуля, выход показывает большое изменение значения. Вам нужна дополнительная защита от большого изменения значения.

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

Поддержка