Таблица суммирует артефакты сертификации и инструменты, которым предоставляют IEC Certification Kit.
Компонент IEC Certification Kit | Описание | Больше информации |
---|---|---|
Сертификация и доказательство проверки | Сертификаты и доклады о сертификации, выпущенные TÜV SÜD, немецким сертифицирующим органом, как доказательство, что продукт подходит для использования в процессах разработки, которые должны выполнить IEC 61508, EN 50128, IEC 61511, IEC 62304 или квалифицированный согласно ISO 26262. | |
Документы и шаблоны | Артефакты и шаблоны, которые можно использовать для податливости документа со стандартами. | |
Инструменты для связанных с сертификацией опытно-конструкторских разработок | Сгенерируйте закрывающие требования модели матриц трассируемости, объекты модели и сгенерированный код. Model Advisor проверяет на сопоставленные инструментом отчеты об ошибках. | Обеспечьте трассируемость между объектами модели, сгенерированным кодом и требованиями модели |
Инструмент для артефактов сертификации управления | Менеджер артефактов, которого можно использовать для доступа и управлять, работает продукты, созданные во время разработки систем высокой целостности, включая артефакты сертификации. | Доступ к артефактам в менеджере артефактов IEC Certification Kit |
Тесты и процедуры тестирования, чтобы поддержать валидацию инструмента | Процедуры тестирования, которые можно использовать, чтобы автоматизировать тесты валидации инструмента для Embedded Coder® / AUTOSAR BLOCKSET, Simulink® Check™, Simulink Coverage™, Simulink Requirements™, Polyspace® Bug Finder™, Polyspace Bug Finder Server™, Polyspace Code Prover™, Polyspace Code Prover Server, Simulink Test™ и Simulink Design Verifier™. |
rights.txt
файл описывает позволенное использование продукта IEC Certification Kit. Можно найти файл в
.matlabroot
/toolbox/qualkits/iec