Exponenta Banner

hisl_0044: Параметры конфигурации > Диагностика > Шаг расчета

Идентификатор: Заголовокhisl_0044: Параметры конфигурации > Диагностика > Шаг расчета
Описание

В диалоговом окне Параметров конфигурации на панели Diagnostics > Sample Time установите эти параметры равными error:

Если целевая система не допускает прерывания между задачами с равным приоритетом, задайте для Задач с равным приоритетом (Simulink) none.

Примечание

Включение диагностики, относящейся к решателю, предоставляет информацию для выявления нарушений других руководящих принципов.

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

Параметр конфигурацииРезультат
Source block specifies -1 sample timeИспользование унаследованных шагов расчета для исходного блока, такого как Sine Wave, может остаться незамеченным и привести к непредсказуемой скорости выполнения для исходного и нисходящего блоков.
Multitask data transferНедопустимая передача данных между двумя блоками, работающими в многозадачном режиме, может остаться незамеченной. Вы не можете использовать недопустимую передачу данных для встроенных программных обеспечений реального времени.
Single task data transferПередача данных между двумя блоками, работающими в однозадачном режиме, может остаться незамеченной. Вы не можете использовать однозадачную передачу данных для встроенных программных обеспечений реального времени.
Multitask conditionally executed subsystemsУсловно выполненная многоуровневая подсистема, работающая в многозадачном режиме. могут остаться необнаруженными и поврежденными данные или показать неожиданное поведение в целевой системе, которая допускает упреждение.
Tasks with equal priorityДве асинхронные задачи с одинаковым приоритетом могут остаться незамеченными и показать неожиданное поведение в целевых системах, которые допускают упреждение.
Enforce sample times specified by Signal Specification blocksНесогласованные шаги расчета для блока Signal Specification и подключенного блока назначения могут остаться незамеченным и привести к непредсказуемой скорости выполнения.
Unspecified inheritability of sample timesS-функция, которая явно не установлена на наследование шага расчета, может остаться незамеченной и привести к непредсказуемому поведению.

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

  • DO-331, раздел MB.6.3.1.b «Требования высокого уровня являются точными и последовательными »
    DO-331, раздел MB.6.3.2.b «Низкоуровневые требования являются точными и последовательными »
    DO-331, раздел MB.6.3.3.b 'Архитектура программного обеспечения согласована "
    DO-331, раздел MB.6.3.3.e - Программная архитектура соответствует стандартам.

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

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

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

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

См. такжеПараметры конфигурации модели: Шаг расчета Diagnostics (Simulink)
Последнее изменениеR2017b

Документация по IEC Certification Kit

Поддержка