exponenta event banner

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

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

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

Примечания

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

ОбъяснениеИзбегайте неоднозначного поведения модели и оптимизируйте память для созданного кода.
Проверки помощника по моделиПроверка параметров оптимизации, связанных с безопасностью, для логических сигналов (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

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