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

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

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

Чтобы поддержать однозначное поведение при использовании логических операторов, операторы отношения и блок Combinatorial Logic, выбирают сигналы логики Configuration Parameter Implement как булевы данные (по сравнению с 'double'

Примечания

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

ОбъяснениеИзбегайте неоднозначного поведения модели и оптимизируйте память для сгенерированного кода.
Образцовые проверки советника
  • Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки оптимизации для логических сигналов

  • Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки оптимизации для логических сигналов

  • Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки оптимизации для логических сигналов

  • Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки оптимизации для логических сигналов

  • Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки оптимизации для логических сигналов

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

Ссылки
  • 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: Параметры конфигурации> Математика и Типы данных> продолжительность жизни Приложения (дни)
Описание

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

Примечания

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

ОбъяснениеПоддержите робастность систем, которые запускаются постоянно.
Образцовые проверки советника
  • Задачей> Моделирование Стандартов для DO-178C/DO-331> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки оптимизации для продолжительности жизни приложения

  • Задачей> Моделирование Стандартов для IEC 61508> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки оптимизации для продолжительности жизни приложения

  • Задачей> Моделирование Стандартов для IEC 62304> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки оптимизации для продолжительности жизни приложения

  • Задачей> Моделирование Стандартов для EN 50128> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки оптимизации для продолжительности жизни приложения

  • Задачей> Моделирование Стандартов для ISO 26262> Системы Высокой Целостности> Настройка> Проверка связанные с безопасностью настройки оптимизации для продолжительности жизни приложения

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

Ссылки
  • 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
Была ли эта тема полезной?