| Описание | При проверке, что модель сопоставима со сгенерированным кодом, сделайте следующее: |
| 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.2.b 'Низкоуровневые требования точен и сопоставим' IEC 61508–3, Таблица A.4 (7) 'Использование доверяемых / проверенные программные модули и компоненты
|
| В последний раз измененный | R2017b |
