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.
Последнее изменениеR2018b

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

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

Чтобы поддержать робастность систем, которые работают постоянно, задайте параметр конфигурации <reservedrangesplaceholder1> inf.

Примечания

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

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

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

  • IEC 61508-3, Таблица A.4 (3) «Оборонительное программирование»

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

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

  • EN 50128, таблица A.3 (1) 'Defensive Programming'

См. также
Последнее изменениеR2018b

Документация Simulink

Поддержка