Чтобы применить рекомендации по моделированию в проектах и командах разработчиков, можно использовать Model Advisor для выполнения проверок модели. При выполнении проверок мастер модели проверяет модель на наличие условий и настроек конфигурации, заданных проверкой.
Simulink ® Check™ включает проверку соответствия стандартов безопасности, связанных с руководством по моделированию систем с высокой целостностью и консультативным советом MathWorks ® Advisory Board (MAB). Начните с проверки соответствия модели с помощью Model Advisor.
Advisor.Application | Запуск Model Advisor по иерархии моделей |
Advisor.Manager | Управление приложениями |
edittime.getAdvisorChecking | Определить, включена ли проверка времени редактирования |
edittime.setAdvisorChecking | Интерактивная проверка модели на соответствие стандартам моделирования |
Advisor.getExclusion | Получение сведений об исключении для модели или файла |
Advisor.addExclusion | Добавление исключений в модель или файл |
Advisor.removeExclusion | Удаление исключений для модели или файла |
Advisor.saveExclusion | Сохранение исключений в модели или внешнем файле |
Advisor.loadExclusion | Загрузка исключений в модель или файл |
Advisor.clearExclusion | Очистить все исключения из модели или файла |
Проверка соответствия модели с помощью Model Advisor
Используйте мастер модели для проверки соответствия модели или подсистемы рекомендациям по моделированию или стандартам.
Проверка соответствия модели с помощью проверки времени редактирования
Используйте проверку времени редактирования для проверки соответствия модели или подсистемы рекомендациям по моделированию или стандартам.
Используйте редактор конфигурации Model Advisor для настройки Model Advisor
Используйте редактор конфигурации Model Advisor для настройки конфигурации проверок и папок Model Advisor.
Создание отчетов помощника по модели
Настройте Model Advisor для создания отчетов в дополнительных форматах.
Исключить блоки из анализа проверки помощника по модели
Можно ограничить область анализа модели или подсистемы Model Advisor.
Проверка модели на соответствие стандартам DO-178C/DO-331
Используйте Model Advisor для проверки соответствия модели или подсистемы элементам DO-178C стандарта безопасности.
Проверка модели на соответствие стандартам DO-254
Используйте Model Advisor для проверки соответствия модели или подсистемы элементам DO-254 стандарта безопасности.
Для проверки соответствия модели или подсистемы требованиям стандартов безопасности IEC 61508, IEC 62304, ISO 26262 и EN 50128/EN 50657 используется консультант по моделям.
Проверка модели для моделирования систем с высокой целостностью
Используйте Model Advisor для проверки соответствия модели или подсистемы требованиям стандарта безопасности High Integrity System Model.
Проверки модели на соответствие требованиям MAB и JMAAB
Используйте Model Advisor для проверки соответствия модели или подсистемы рекомендациям по моделированию Консультативного совета MathWorks (MAB) и Japan MATLAB ® Automotive Advisory Board (JMAAB).
Проверки модели на соответствие MISRA C:2012
Используйте Model Advisor, чтобы проверить, что ваша модель скорее всего создаст код, совместимый C:2012 MISRA.
Проверка модели для безопасного кодирования (стандарты CERT C, CWE и ISO/IEC TS 17961)
Используйте Model Advisor для проверки соответствия кода стандартам безопасного кодирования CERT C, CWE, ISO/IEC TS 17961.
Проверки модели для ссылок требований
Используйте Model Advisor для проверки того, что каждая ссылка требований в модели имеет допустимый целевой объект в документе требований.