Окно Artifacts Explorer отображает артефакты сертификации, которые доступны в IEC Certification Kit. Существует отдельная папка для каждого MathWorks® инструмент, поддержанный IEC Certification Kit и папкой поддержки, которая обеспечивает дополнительное содержимое, которое можно использовать во время процесса сертификации.
В Менеджере артефактов откройте папку продукта Simulink Check и рассмотрите содержимое.
Рассмотрите папки и содержимое.
Верхний уровень включает артефакты, которые можно использовать, чтобы подтвердить Simulink® Check™ в вашем проекте, включая:
Артефакты, которые можно использовать, чтобы оценить и зарегистрировать использование инструмента инструмента в проекте на рассмотрении, таком как Simulink Check Пакет Квалификации инструмента ISO 26262 и Рабочий процесс (certkitiec_slchk_tqp.docx/pdf) и демонстрационный шаблон соответствия Simulink Check (certkitiec_slchk_cdt.docx/pdf).
Сертификат (certkitiec_slchk_certificate.pdf) и отчет инструмента (certkitiec_slchk_certreport.pdf) если TÜV SÜD. Эти артефакты используются в качестве доказательства, что инструменты предварительно квалифицированы к использованию в процессах разработки, которые должны выполнить IEC 61508, ISO 26262, EN 50128, EN 50657, ISO 25119 или производные стандарты. Для получения дополнительной информации смотрите Доказательство Сертификации Инструмента.
Основанные на тесте артефакты, такие как артефакт процедуры тестирования Выполняют Тесты Валидации и Результаты испытаний Анализа для Simulink Check (certkitiec_slchk_run.mlx) и матричный Simulink Check трассируемости теста - Матрица Трассировки для IEC Certification Kit (certkitiec_slchk_tests.xlsx). Для получения дополнительной информации смотрите Процедуру тестирования и Тесты.
Скрипт выполнения теста (certkitiec_slchk_tests.rpt). Для получения дополнительной информации смотрите, Выполняют Тесты Инструмента и Процедуры.
Подпапки включают:
doc — Включает документацию по продукту, такую как
Руководство пользователя Simulink Check.
expected_results — Обеспечивает результаты MathWorks, которые были сгенерированы путем выполнения тестов проверки. Процедура тестирования сравнивает эти результаты с результатами, сгенерированными инструментом в вашем проекте на рассмотрении. Результаты записаны в Отчет Валидации Сводных данных Simulink Check (certkitiec_slchk_validationreport.html). Для получения дополнительной информации смотрите, Выполняют Тесты Инструмента и Процедуры.
tests — Тестовые случаи и тестовые модели, которые выполняются во время процедуры тестирования. Можно использовать Simulink Check - Матрица Трассировки для IEC Certification Kit (certkitiec_slchk_tests.xlsx) артефакт, чтобы оценить, какие тесты и тестовые модели соответствуют проверкам Model Advisor.
Возвратитесь к верхнему уровню Менеджера артефактов и откройте папку Support Artifacts. Эта папка обеспечивает дополнительный материал, который можно использовать, чтобы оценить реализацию инструмента в рабочем процессе Модельно-ориентированного проектирования, включая:
Отраслевые артефакты Модельно-ориентированного проектирования (cerkitiec_mbd_<industry_standard>.docx/pdf). Можно использовать эти артефакты, чтобы рассмотреть цели в таблицах промышленного стандарта и учиться, о которых инструментах Mathworks можно использовать, чтобы удовлетворить каждой цели. Для получения дополнительной информации смотрите Подход Модельно-ориентированного проектирования (По Стандарту).
Материально-технические ресурсы программного инструмента (certkitiec_tools.docx/pdf) артефакт, который можно использовать, чтобы идентифицировать инструменты, реализованные в проекте на рассмотрении. Для получения дополнительной информации см. Материально-технические ресурсы Программного инструмента.
Пользовательская документация IEC Certification Kit, такая как Руководство пользователя (certkitiec_ug.pdf) и Информация о релизах (rn.pdf).
Артефакты рабочего процесса, которые используют Модельно-ориентированное проектирование, чтобы сопоставить использование Продуктов Mathworks к действиям разработки программного обеспечения и верификации/валидации, заданным в ISO 26262:2018. Для получения дополнительной информации смотрите Рабочие процессы IEC Certification Kit.
Инструкции модели для ISO 26262:2018 (iso26262_guidelines.docx/pdf) артефакт, который предоставляет руководства по моделированию, которые можно использовать, чтобы улучшить податливость моделей и сгенерированного кода с ISO 26262:2018. Для получения дополнительной информации см. Руководства по моделированию.
Текстовый файл, который задает права лицензированного пользователя (rights.txt).
Когда вы выбираете папки и файлы, замечаете, что релевантная информация о текущем выборе динамически отображена в строке состояния. Например, выберите папку Simulink Test. Строка состояния в нижней части окна указывает на местоположение папки на вашем компьютере.
После рассмотрения Менеджера артефактов можно создать и настроить пакеты сертификации для проекта.
