Simulink® Check™ проверки облегчают разработку и устранение проблем с моделями, из которых генерируется код для приложений, которые должны соответствовать требованиям безопасности или критически важным требованиям и руководствам по моделированию.
Для описания проверок стандартов моделирования см.
Проверки Simulink Requirements™ облегчают связь между документацией по требованиям и вашей моделью.
Описание проверок согласованности требований см. в разделе Проверки согласованности требований (Simulink Requirements).
Проверки стандартов моделирования облегчают разработку и поиск и устранение проблем с моделями, из которых генерируется код для приложений, которые должны соответствовать требованиям безопасности или критически важным требованиям или глобальным MathWorks® Руководства по моделированию Консультативного совета (MAB).
Для выполнения этих проверок MAB требуется лицензия ASimulink Check. Там, где это применимо, дополнительные требования к лицензии указаны в конкретной документации для проверки.
Для описания проверок Model Advisor, которые проверяют податливость стандартам моделирования, см.