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