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