Решатель

hisl_0040: Параметры конфигурации > Решатель > Время симуляции

Идентификатор: Заголовокhisl_0040: Параметры конфигурации > Решатель > Время симуляции
Описание

Установите эти параметры конфигурации времени симуляции следующим образом:

A

Start time с 0.0.

B

Stop time к положительному значению, которое меньше, чем значение Application lifespan (days).

Примечание

Simulink® позволяет ненулевое время начала для симуляции. Однако генерация производственного кода требует нулевого времени запуска.

Stop time в секундах и Application lifespan (days) в днях.

Когда для параметра конфигурации Application lifespan (days) задано значение auto (по умолчанию), любое положительное значение для Stop time допустимо.

ОбъяснениеAСгенерируйте код, который действителен для генерации производственного кода.
Проверки Model AdvisorПроверьте настройки решателя безопасности на время симуляции (Simulink Check)
Ссылки
  • DO-331 Section MB.6.3.1.g - Алгоритмы точны
    DO-331 Section MB.6.3.2.g - Алгоритмы точны

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка'

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

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»

  • EN 50128, таблица A.4 (11) 'Language Subset'

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

hisl_0041: Параметры конфигурации > Решатель > Опции решателя

Идентификатор: Заголовокhisl_0041: Параметры конфигурации > Решатель > Опции решателя
Описание

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

A

Type с Fixed-step.

B

Solver с discrete (no continuous states).

Примечание

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

ОбъяснениеA, BСгенерируйте код, который действителен для генерации производственного кода.
Проверки Model AdvisorПроверьте настройки решателя безопасности для опций решателя (Simulink Check)
Ссылки
  • DO-331 Section MB.6.3.1.g - Алгоритмы точны
    DO-331 Section MB.6.3.2.g - Алгоритмы точны

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка "

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

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»

  • EN 50128, таблица A.4 (11) 'Language Subset'

См. также

Панель решателя в документации Simulink

Последнее изменениеR2017b

hisl_0042: Параметры конфигурации > Решатель > Задание и шаг расчета опций

Идентификатор: Заголовокhisl_0042: Параметры конфигурации > Решатель > Задание и шаг расчета опций
Описание

Очистите параметр конфигурации <reservedrangesplaceholder0>.

Примечания

Установка флажка Automatically handle rate transition for data transfer может привести к вставке кода перехода скорости без соответствующей конструкции модели. Это может препятствовать установлению полной трассируемости или показывать, что непреднамеренные функции не вводятся.

Можно установить или снять флажок Higher priority value indicates higher task priority. Установка этого флажка определяет, использует ли приоритет для Sample time properties самые низкие значения как самый высокий приоритет или самые высокие значения как самый высокий приоритет.

ОбъяснениеПоддержка полностью заданных моделей и однозначного кода.
Проверки Model AdvisorПроверьте настройки решателя безопасности для задания и шага расчета (Simulink Check)
Ссылки
  • DO-331, раздел MB.6.3.4.e 'Исходный код прослеживается до низкоуровневых требований "

  • IEC 61508-3, Таблица A.3 (3) 'Подмножество языка "

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

  • ISO 26262-6, таблица 1 (1b) «Использование языковых подмножеств»

  • EN 50128, таблица A.4 (11) 'Language Subset'

См. также

Панель решателя в документации Simulink

Последнее изменениеR2018a