hisl_0023: Верификация различных блоков

ID: Заголовок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