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