Exponenta Banner

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

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

Чтобы поддержать однозначное поведение при использовании логических операторов, операторы отношения и блок Combinatorial Logic, выбирают параметр конфигурации Implement logic signals as Boolean data (vs. double).

Примечания

Выбор Implement logic signals as Boolean data (vs. double) включает булеву проверку типа, которая производит ошибку, когда блоки, которые предпочитают булевы входные параметры, соединяются с сигналами double. Эта проверка приводит к генерации кода, который требует меньшей памяти.

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

  • DO-331, MB.6.3.1.e 'Требования высокого уровня соответствуют стандартам
    DO-331, MB.6.3,2.e 'Низкоуровневые требования соответствуют стандартам

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

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

  • ISO 26262-6, Таблица 1 (1c) 'Осуществление строгого контроля типов'

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

  • MISRA C:2012, правило 10.1

Смотрите такжеРеализуйте логические сигналы как булевы данные (по сравнению с двойным) (Simulink) в документации Simulink.
В последний раз измененныйR2018b

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

Поддержка