Exponenta Banner

hisl_0018: Использование блока Логического Оператора

Идентификатор: Заголовокhisl_0018: Использование блока Логического Оператора
Описание

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

A

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

B

Убедитесь, что входные сигналы имеют тип Boolean.

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

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

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

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

  • IEC 61508-3, Таблица A.3 (2) 'Сильно типизированный язык программирования "
    IEC 61508-3, Таблица A.3 (3) 'Подмножество языка "
    IEC 61508-3, таблица A.4 (3) «Оборонительное программирование»

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

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

  • EN 50128, таблица A.4 (11) 'Language Subset'
    EN 50128, таблица A.4 (8) 'Сильно типизированный язык программирования'
    EN 50128, таблица A.3 (1) 'Defensive Programming'

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

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

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

Поддержка