Образцовая ссылка

hisl_0037: Параметры конфигурации> Образцовая Ссылка

ID: Заголовок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
  • By Task> Modeling Standards for DO-178C/DO-331> High-Integrity Systems> Configuration> Check safety-related model referencing settings

  • By Task> Modeling Standards for IEC 61508> High-Integrity Systems> Configuration> Check safety-related model referencing settings

  • By Task> Modeling Standards for IEC 62304> High-Integrity Systems> Configuration> Check safety-related model referencing settings

  • By Task> Modeling Standards for EN 50128> High-Integrity Systems> Configuration> Check safety-related model referencing settings

  • By Task> Modeling Standards for ISO 26262> High-Integrity Systems> Configuration> Check safety-related model referencing settings

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

Ссылки
  • 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) 'Безопасное программирование'

  • IEC 62304, 5.5.3 - критерии допустимости Программного блока

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

  • EN 50128, таблица A.4 (11) 'языковое подмножество'
    EN 50128, таблица A.3 (1) 'безопасное программирование'

В последний раз измененныйR2017b