Exponenta Banner

hisl_0037: Параметры конфигурации > Ссылки на модель

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

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

A

Rebuild с Never или If any changes detected.

B

Never rebuild diagnostic с Error if rebuild required.

C

Очистить Pass fixed-size scalar root inputs by value for code generation.

D

Очистить Minimize algebraic loop occurrences.

ОбъяснениеA

Чтобы предотвратить ненужную регенерацию кода, что приводит к изменению только даты файла и замедлению процесса сборки при использовании моделей-ссылок.

B

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

C

Чтобы предотвратить непредсказуемые данные, потому что скалярные значения могут измениться в течение временного шага.

D

Чтобы быть совместимым с рекомендуемой настройкой Single output / update function для кода встраиваемых систем.

Проверки 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 «Программной архитектурой согласуется»

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

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

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

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

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

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

Поддержка