hisl_0023: Верификация вариантов блоков

Идентификатор: Заголовокhisl_0023: Верификация вариантов блоков
ОписаниеПри проверке, что модель соответствует сгенерированному коду, выполните следующее:
AДля каждого блока Variant Model очистите Generate preprocessor conditionals параметров блоков.
BДля каждого блока Variant Subsystem установите Variant activation time равным update diagram.
CПроверьте комбинации вариантов модели, которые могут быть активны в сгенерированном коде.
ОбъяснениеA, BУпростите проверку согласованности между моделью и сгенерированным кодом, ограничив основу кода одним вариантом.
CПроверьте, что проверка согласованности между моделью и сгенерированным кодом завершена для вариантов.
Проверки Model AdvisorПроверяйте использование вариантов блоков (Simulink Check)
Ссылки
  • DO-331, раздел MB.6.3.3.b - Программная архитектура согласована

  • IEC 61508-3, Таблица A.4 (7) «Использование доверенных/проверенных программных модулей и компонентов»

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