Simulink Check проверки

Simulink Check проверки

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

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

См. также

Проверки Simulink Requirements

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

Описание проверок согласованности требований см. в разделе Проверки согласованности требований (Simulink Requirements).

См. также

Проверки стандартов моделирования

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

Для выполнения этих проверок MAB требуется лицензия ASimulink Check. Там, где это применимо, дополнительные требования к лицензии указаны в конкретной документации для проверки.

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

См. также

Для просмотра документации необходимо авторизоваться на сайте