DO-254 проверки

Обзор стандартов моделирования для DO-254

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

Model Advisor выполняет взятие на изменение Simulink® Check™ лицензию при запуске проверок DO-254.

Эти проверки квалифицированы DO Qualification Kit для использования в проектах, связанных с DO-254 стандартом и соответствующими стандартами.

См. также

Стандарты моделирования для DO-254

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