Чтобы проверять, что каждая ссылка требований в вашей модели имеет допустимую цель в документе требований от Панели инструментов Simulink, открывают приложение Requirements. Нажмите Check Consistency, чтобы запуститься, Проверка Непротиворечивости Требований регистрируется в Model Advisor.
В Model Advisor проверки на непротиворечивость требований доступны в:
By Product> Simulink Requirements> Requirements Consistency
By Task> Requirements Consistency Checking
Для получения дополнительной информации об этих проверках Model Advisor, смотрите Проверки на непротиворечивость Требований (Simulink Requirements)
Когда моделирование для систем высокой целостности, чтобы проверять, что элементы модели соединяются с документами требования, осуществляет Проверку для элементов модели, которые не соединяются с требованиями.