Продукт Simulink ® Check™ позволяет использовать признанные в отрасли проверки и метрики, позволяющие выявлять нарушения стандартов и рекомендаций. Поддерживаемые стандарты разработки программного обеспечения с высоким уровнем целостности включают в себя DO-178, ISO 26262, IEC 61508, IEC 62304, ISO 25119 и рекомендации по стилю работы Консультативного совета MathWorks (MAB). Используйте проверку времени редактирования, чтобы определить проблемы соответствия при разработке модели. После завершения редактирования для оценки соответствия модели требованиям к размеру, архитектуре и соответствию нормативам запустите панель мониторинга Metrics. Панель управления метриками содержит виджеты, которые визуализируют данные метрики. Для получения подробных результатов выполните детализацию данных.
На панели мониторинга Metrics можно устранить проблемы с соответствием требованиям, запустив Model Advisor. Чтобы определить, можно ли автоматически выполнить рефакторинг модели для увеличения повторного использования компонентов, запустите детектор клонов.
Функции и классы доступны для настройки панели мониторинга Metrics и Model Advisor. Например, можно записать пользовательские проверки и использовать редактор конфигурации Model Advisor для создания пользовательской конфигурации. Используйте функции и классы панели мониторинга метрик, чтобы настроить виджеты показателей соответствия для указания на пользовательскую конфигурацию.
В этом учебном пособии вы научитесь:
Устраните проблемы соответствия Model Advisor.
Запустите панель мониторинга метрик для получения и анализа данных метрик.
Устраните нарушения MAB и High Integrity с помощью панели мониторинга метрик.
Выполните рефакторинг модели, чтобы улучшить повторное использование компонента, запустив приложение Clone Detector с панели управления Metrics.
В конце учебного пособия содержатся ссылки на разделы, содержащие дополнительную информацию.
Чтобы начать работу с учебным пособием, см. раздел Обнаружение и исправление нарушений проверки помощника по модели.