Simulink Check
Анализ моделей на соответствие стандартам моделирования.
Документация
Simulink Check включает в себя общепризнанные проверки и метрики, которые выявляют нарушения стандартов и правил моделирования во время разработки. Поддерживаемые стандарты разработки программного обеспечения с высокой степенью надежности включают руководства по стилю DO-178, ISO 26262, IEC 61508, IEC 62304 и MathWorks Automotive Advisory Board (MAAB). Проверки времени редактирования определяют проблемы соответствия стандартам при редактировании. Для соответствия пользовательским стандартам или руководствам можно создавать собственные проверки.
Simulink Check предоставляет метрики размера и сложности, которые используются для оценки архитектуры модели и ее соответствия стандартам моделирования. Сводная информация по метрикам позволяет оценить состояние и качество проекта. Автоматический рефакторинг модели позволяет заменять дублирующиеся элементы модели, снижая ее сложность и выявить повторно используемые компоненты. Model Slicer изолирует проблемное поведение в модели и создает упрощенную модель для отладки.
Поддержка отраслевых стандартов доступна в IEC Certification Kit (for ISO 26262 and IEC 61508)иDO Qualification Kit (for DO-178).
Проверка качества модели
Проверка соответствия руководствам по стилю и стандартам моделирования.
Готовые к использованию проверки для разработки программного обеспечения высокой целостности
Чтобы улучшить качество и безопасность моделей и сгенерированного кода, Simulink Check предоставляет предварительно сконфигурированные проверки для отраслевых стандартов, таких как DO-178C, DO-331, ISO 26262, IEC 61508 и EN 50128, а также MISRA C: 2012, рекомендации по стилю MAAB, Стандарты IEC 62304 для разработки программного обеспечения с высокой степенью целостности и стандарты безопасного кодирования, такие как CERT C, CWE и ISO / IEC TS 17961.
Определение и исправление ошибок при редактировании
Проверки во время редактирования уведомляют пользователя о нарушениях при редактировании модели. Ошибки исправляются на лету, что минимизирует дорогостоящие переделки и дополнительное тестирование в конце процесса разработки.
Настройка и автоматизация проверок моделей
Для анализа модели на соответствие собственным стандартам или рекомендациям организации, проверки могут быть настроены и сконфигурированы с помощью API Model Advisor или редактора конфигурации Model Advisor. Проверки могут быть запущены на нескольких машинах параллельно, чтобы ускорить проверку соответствия.
Проверка соответствия и просмотр результатов проверки в Model Advisor (англ.)
Следование стандартам моделирования Измерение и просмотр метрик модели
Оценка статуса проекта с помощью метрик из инструментов для модельно-ориентированного проектирования.
Сбор метрик модели
Simulink Check собирает метрики модели, которые можно использовать для оценки архитектуры, сложности и читаемости модели в соответствии со стандартами DO-178, DO-331, IEC 61508, IEC 62304, ISO 26262 и EN 50128.
Просмотр консолидированных показателей с помощью панели метрик
Панель метрик Metrics Dashboard объединяет такие метрики, как размер модели, количество строк кода, статус соответствия руководствам по моделирования, меру переиспользуемости и сложность, в едином представлении, позволяя получить представление о качестве проекта.
Упрощение и отладка сложных моделей
Model Slicer предназначен для изоляции функциональности модели с помощью комбинации динамического и статического анализа.
Выделение зависимости
Model Slicer использует статический анализ зависимостей для выделения взаимозависимостей блоков, сигналов и компонентов модели и динамический анализ зависимостей на основе активного поведения во время симуляции, чтобы обнаружить функциональные зависимости в большой или сложной модели.
Создание автономной упрощенной модели
Model Slicer может изолировать часть модели на основе заданной пользователем начальной точки, зарегистрированных сигналов или интервала времени симуляции и сохранить ее как модель меньшего размера, которая сохраняет поведение для отладки и повышения производительности.
Выделение на основе активности с помощью Stateflow
Подсветка модели может быть ограничена временными интервалами моделирования, когда только выбранные состояния и переходы в Stateflow одновременно активны во время симуляции, чтобы изолировать интересующее поведение.
Рефакторинг моделей для улучшения дизайна и увеличения количества переиспользуемых компонентов
Определение функциональных и графических копий элементов и обнаружение шаблонов моделирования, которые можно автоматически реорганизовать для повышения сопровождаемости проекта.
Выявление и рефакторинг копий моделирования
Инструмент «Identify Modeling Clones» анализирует модель и идентифицирует повторяющиеся шаблоны моделирования (клоны). Идентифицированные копии автоматически подвергаются рефакторингу с помощью переиспользуемой библиотеки для повышения удобства сопровождения и снижения сложности проектирования.
Преобразование моделей для улучшения повторного использования компонентов и читабельности моделей
Инструмент «Model Transformer» идентифицирует шаблоны моделирования, которые можно преобразовать в блоки «Вариантный источник» (Variant Source) или «Подсистема с вариантами» (Variant Subsystem), и реорганизует модель для улучшения ее компонентизации и повторного использования. Инструмент может идентифицировать блоки Data Store, которые могут быть устранены для улучшения читабельности.
Организация командной разработки (SLMB)
