Проверки Simulink Check

Проверки Simulink Check

Проверки Simulink® Check™ упрощают разработку и поиск и устранение неисправностей моделей, из которых код сгенерирован для приложений, которые должны встретить безопасности или критически важным для миссии требованиям и руководствам по моделированию.

Для описаний проверок стандартов моделирования смотрите

Смотрите также

Проверки Simulink Requirements

Проверки Simulink Requirements™ упрощают соединение между документацией требований и вашей моделью.

Для описаний проверок на непротиворечивость требований смотрите Проверки на непротиворечивость Требований (Simulink Requirements).

Смотрите также

Моделирование проверок стандартов

Проверки стандартов моделирования упрощают разработку и поиск и устранение неисправностей моделей, из которых код сгенерирован для приложений, которые должны встретить безопасности или критически важным для миссии требованиям или глобальному Консультативному совету MathWorks® (MAB) руководства по моделированию.

Лицензия Проверки ASimulink требуется, чтобы выполнять эти проверки MAB. Где применимо, дополнительные лицензионные требования идентифицированы в специфичной для проверки документации.

Для описаний проверок Model Advisor, которые проверяют податливость к стандартам моделирования, смотрите

Смотрите также