Simulink Check обеспечивает признанные промышленностью проверки и метрики, которые идентифицируют нарушения стандарта и инструкции во время разработки. Поддерживаемые стандарты разработки программного обеспечения высокой целостности включают DO-178, ISO 26262, IEC 61508, IEC 62304 и Инструкции по Стилю MathWorks Automotive Advisory Board (MAAB). Разовые редактированием проверки идентифицируют проблемы соответствия, как вы редактируете. Можно создать собственные проверки, чтобы выполнить собственные стандарты или инструкции.
Simulink® Check™ обеспечивает метрики, такие как размер и сложность, которую можно использовать, чтобы оценить архитектуру модели и соответствие к стандартам. Объединенная метрическая инструментальная панель позволяет вам оценить состояние проекта и качество. Автоматический образцовый рефакторинг позволяет вам заменить дублирующиеся элементы дизайна, уменьшать сложность проекта и идентифицировать допускающее повторное использование содержимое. Инструмент Model Slicer изолирует проблематичное поведение в модели и генерирует упрощенную модель для отладки.
.
Рабочий процесс Simulink Check обеспечивает рабочий процесс для Simulink Check. В частности, это описывает как к:
Усильте возможность проверки соответствия модели Регистрации Simulink рабочий процесс Модельно-ориентированного проектирования
Проверяйте, что эта возможность функционирует как ожидалось
При использовании программного обеспечения Simulink Check, чтобы усилить сертификацию или кредит проверки, предоставленный IEC Certification Kit, необходимо выполнить этот рабочий процесс как часть полного ISO 26262, IEC 61508, EN 50128, или жизненный цикл безопасности программного обеспечения IEC 62304.
Можно использовать возможности проверки соответствия модели Simulink Check проверить или подтвердить исполняемую спецификацию, модель, используемая для генерации производственного кода или других временных моделей, созданных во время фазы моделирования. После образцовой проверки соответствия Simulink Check автоматически фиксирует проблемы, о которых сообщают. Меры применяются к модели, проверяемой первоначально.
Следующее изображение иллюстрирует интегрирование Simulink Check в рабочий процесс Модельно-ориентированного проектирования IEC Certification Kit.
Соответствие модели, регистрируясь в рабочем процессе модельно-ориентированного проектирования
Чтобы получить доступ к документу Рабочего процесса Simulink Check, откройте Менеджера артефактов. Под Simulink Check, открытым файл certkitiec_slchk_workflow.pdf.
