Exponenta Banner
exponenta event banner

hisl_0018: Использование блока Logical Operator

ID: Заголовокhisl_0018: Использование блока Logical Operator
Описание

Поддерживать однозначное поведение сгенерированного кода, при использовании блока Logical Operator,

A

Установите параметры блоков Output data type на Boolean.

B

Гарантируйте, что входные сигналы имеют тип Boolean.

Необходимые условия

hisl_0045: Параметры конфигурации> Математика и Типы данных> логика Реализации сигнализируют как булевы данные (по сравнению с двойным)

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

  • DO-331, Раздел MB.6.3.1.e — Требования высокого уровня соответствуют стандартам
    DO-331, Раздел MB.6.3.2.e — Низкоуровневые требования соответствуют стандартам
    DO-331, Раздел MB.6.3.1.g 'Алгоритмы точен'
    DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен'
    DO-331, Раздел MB.6.3.4.e — Исходный код прослеживаем к низкоуровневым требованиям.
    DO-331, Раздел MB.6.3.3.b — Программная архитектура сопоставима.

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

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

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

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

  • MISRA C:2012, директива 10.1

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

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

Поддержка