В IEC Certification Kit используется контекстный подход к сертификации и проверке инструментов. Этот подход основан на конкретных рабочих процессах, которые должны использоваться при применении сертифицированных и квалифицированных инструментов для разработки или проверки программного обеспечения для приложений ISO 26262, IEC 61508, IEC 62304, ISO 25119, EN 50128 и EN 50657. Используйте шаблоны программного продукта IEC Certification Kit для документирования доказательств использования инструментов MathWorks в ссылочных рабочих процессах.
iec.ExportTraceReport | Сгенерируйте xls файл, содержащий матрицу трассируемости |
Определение целей и требований сертификации
Перед использованием IEC Certification Kit определите возможности вашей сертификационной деятельности, определите процесс разработки ПО и определите требования.
Сертификация или квалификация программных инструментов
Используйте сертификацию инструмента или предквалификационные доказательства из IEC Certification Kit для документирования податливости требованиям и рекомендациям сертификации инструмента.
Валидация программного инструмента
Некоторые стандарты безопасности рекомендуют валидацию обеспечения, чтобы продемонстрировать, что инструмент соответствует требованиям инструмента.
Документальное подтверждение использования инструмента
Используйте шаблон программного продукта IEC Certification Kit для документирования доказательств использования инструментов MathWorks в рамках ссылочного рабочего процесса.
Переоценка инструмента после рассмотрения отчетов об ошибках и установки обновлений
Повторно проверьте инструмент после установки обновлений.
Обеспечьте трассируемость между объектами модели, сгенерированным кодом и требованиями модели
Чтобы обеспечить трассируемость среди объектов модели, сгенерированного кода и требований модели, сгенерируйте матрицу трассируемости.