Математика и типы данных

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

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

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

Примечания

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

ОбъяснениеИзбегайте неоднозначного поведения модели и оптимизируйте память для сгенерированного кода.
Проверки Model Advisor

  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related optimization settings for logic signals

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related optimization settings for logic signals

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related optimization settings for logic signals

  • By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related optimization settings for logic signals

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related optimization settings for logic signals

Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки оптимизации для логических сигналов.

Ссылки

  • 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.
В последний раз измененныйR2018b

hisl_0048: Параметры конфигурации> Математика и Типы данных> продолжительность жизни Приложения (дни)

ID: Заголовокhisl_0048: Параметры конфигурации> Математика и Типы данных> продолжительность жизни Приложения (дни)
Описание

Чтобы поддержать робастность систем, которые запускаются постоянно, установите Параметр конфигурации Application lifespan (days) на inf.

Примечания

Встраиваемые приложения могут запускаться постоянно. Не принимайте ограниченную продолжительность жизни для таймеров и счетчиков. Когда вы устанавливаете Application lifespan (days) на inf, время симуляции является меньше, чем продолжительность жизни приложения.

ОбъяснениеПоддержите робастность систем, которые запускаются постоянно.
Проверки Model Advisor

  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related optimization settings for application lifespan

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related optimization settings for application lifespan

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related optimization settings for application lifespan

  • By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related optimization settings for application lifespan

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related optimization settings for application lifespan

Для получения дополнительной информации проверки смотрите Проверку связанные с безопасностью настройки оптимизации для продолжительности жизни приложения.

Ссылки

  • DO-331, Раздел MB.6.3.1.g 'Алгоритмы точен’
    DO-331, Раздел MB.6.3.2.g 'Алгоритмы точен’

  • IEC 61508-3, таблица A.4 (3) 'безопасное программирование'

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

  • ISO 26262-6, Таблица 1 (1d) 'Использование защитных методов реализации'

  • EN 50128, таблица A.3 (1) 'безопасное программирование'

Смотрите также
В последний раз измененныйR2018b
Документация Simulink
Поддержка
Для просмотра документации необходимо авторизоваться на сайте