Exponenta Banner

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

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

Чтобы поддержать однозначное поведение при использовании логических операторов, реляционных операторов и блока Combinatorial Logic, выберите параметр конфигурации <reservedrangesplaceholder0>.

Примечания

Выбор 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) 'Сильно типизированный язык программирования "

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

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

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

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

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

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

Поддержка