IEC Certification Kit обеспечивает компоненты, которые помогают в проверке Продуктов Mathworks, которые используются в проектах, которые выполняют ISO 26262, IEC 61508, EN 50128, EN 50657, IEC 61511, ISO 25119 или IEC 62 304 стандарта. Особенно, можно использовать эти артефакты или производные этого, как доказательство податливости со стандартами:
Артефакты IEC Certification Kit не доступны от веб-сайта MathWorks®, они доступно только в Менеджере артефактов. Для получения дополнительной информации смотрите доступ к Артефактам в Менеджере артефактов IEC Certification Kit.
Дополнительные компоненты в IEC Certification Kit позволяют вам:
Создайте и управляйте специфичными для проекта пакетами сертификации
Используйте процедуры тестирования для автоматизированной валидации инструмента
Рассмотрите специфичные для инструмента отчеты об ошибках
Примечание
Ни податливость с, ни сертификация применимому стандарту безопасности не обеспечивают безопасность программного обеспечения или системы на рассмотрении. Однако применимый стандарт безопасности может быть рассмотрен современными или общепринятыми правилами технологии (GART) для разработки связанных с безопасностью систем в вашей промышленности. Сертификация может использоваться в качестве доказательства, что современные процедуры были применены во время разработки системы.
rights.txt файл описывает позволенное использование продукта IEC Certification Kit. Можно найти файл в matlabroot/toolbox/qualkits/iec
Сертификаты и доклады о сертификации выпущены TÜV SÜD, немецким сертифицирующим органом, как доказательство, что продукт подходит для использования в процессах разработки, которые должны выполнить IEC 61508, EN 50128, EN 50657, IEC 61511, IEC 62304, ISO 25119, или квалифицированный согласно ISO 26262.
Каждый сертификат имеет номер сертификата, который характерен для инструмента и ссылается докладом о сертификации.
Доклад о сертификации обеспечивает результаты аудита инструмента TÜV SÜD и включает эти разделы:
Цель и Осциллограф - Обеспечивают цель и осциллограф оценки TÜV SÜD продукта. TÜV SÜD контролирует организацию разработки MathWorks, ответственную за продукт, чтобы оценить их процессы разработки и гарантии качества.
Обзор продукта - Предоставляет общее описание и обзор того, как продукт используется с другими продуктами в процессах разработки, которые должны выполнить стандарты.
Идентификация - Идентифицирует версии продукта, которые охвачены аудиторским отчетом.
Сертификация - Предоставляет описания стандартов и основание сертификации TÜV SÜD.
Результаты - Обеспечивают результаты аудита, включая:
Разработка программного обеспечения и качественные процессы разработки.
Потребительские процессы создания отчетов ошибки.
Требования к программным инструментам в IEC 61508, ISO 26262, IEC 62304, ISO 25119, EN 50128 и EN 50657.
Классификация инструментов и валидация согласно IEC 61508, IEC 62304, ISO 25119 и ISO 26262.
Общие условия и Ограничения - Обеспечивают условия и ограничения на пригодность продукта для использования в процессах разработки, которые должны выполнить ISO 26262, IEC 61508, EN 50128, EN 50657, IEC 62304, ISO 25119 или IEC 61511.
Сводные данные и номер сертификата
Описывает рабочий процесс, в котором продукт используется в процессах разработки Модельно-ориентированного проектирования, которые должны выполнить ISO 26262, IEC 61508, EN 50128, EN 50657, IEC 62304, ISO 25119 или IEC 61511.
Продукт IEC Certification Kit следует за подходом в контексте к сертификации инструмента и проверке. Этот подход основан на рабочих процессах, используемых при применении сертифицированных и квалифицированных инструментов, чтобы разработать или проверить программное обеспечение для ISO 26262, IEC 61508, IEC 62304, ISO 25119, EN 50128 и EN 50 657 приложений. Необходимо установить, что инструменты используются в рабочих процессах, на которые ссылаются, и ограничениях, заданных в Отчетах Сертификата.
Рабочий процесс:
Описывает действия, предназначенные, чтобы выполнить применимые требования полных жизненных циклов безопасности программного обеспечения, заданных IEC 61508-3, ISO 26262, IEC 62304, ISO 25119, EN 50128 и EN 50657.
Адреса рискуют уровнями:
ASIL - ASIL D, согласно ISO 26262
СИЛ 1 - СИЛ 4, согласно IEC 61508
Класс A - Класс C, согласно IEC 62304
SIL 0 - SIL 3/4, согласно EN 50128 и EN 50657
SLR B, 1, 2, 3, согласно ISO 25119
Примечание
Можно использовать демонстрационный шаблон соответствия (CDT), чтобы оценить соответствие рабочего процесса к ISO 26262, IEC 61508, IEC 62304, ISO 25119, EN 50128 или EN 50657.
Шаблон, который можно использовать, чтобы продемонстрировать соответствие рабочего процесса ISO 26262, IEC 61508, IEC 62304, ISO 25119, EN 50128 или EN 50657.
Демонстрационный шаблон соответствия предоставляет контрольным спискам меры и методы, которые можно использовать, чтобы оценить соответствие рабочего процесса к стандартам. Рабочий процесс описывает, как продукт используется в процессах разработки Модельно-ориентированного проектирования, которые должны выполнить стандарты.
Для каждого метода или меры в контрольном списке, можно утвердить степень, к которой вы применили метод или меру для приложения на рассмотрении:
Используемый
Используемый к ограниченному уровню
Не используемый
Кроме того, можно утвердить, как вы использовали метод или меру в приложении на рассмотрении. Если рабочий процесс включает альтернативные средние значения для податливости, можно указать на то, какой вариант вы использовали.
Предназначенный для использования в классификации инструментов ISO 26262 и процесса проверки для программных инструментов, TQP содержит шаблоны для этих, квалификация инструмента ISO 26262 работает продукты (см. ISO 26262-8, Пункт 11):
Отчет об оценке Критериев Программного инструмента, документирующий классификацию инструментов. Отчет перечисляет среду инструмента, настройку, рабочий процесс и варианты использования инструмента.
Отчет Проверки Программного инструмента, документирующий квалификацию инструмента, при необходимости.
Анализ подтверждения классификации инструментов и проверки.
ISO 26262-8, Пункт 11 предоставляет условия для программных инструментов, которые используются, чтобы адаптировать действия или задачи, требуемые ISO 26262. Чтобы установить необходимое доверие к таким инструментам, стандарт обрисовывает в общих чертах двухступенчатый подход:
Классификация инструментов определяет необходимый Доверительный уровень инструмента (TCL) программного инструмента.
В зависимости от результата классификации инструментов вы можете должны быть выполнить формальную квалификацию инструмента.
Тесты и процедуры раньше поддерживали валидацию инструмента. Валидация инструмента является методом, перечисленным в ISO 26262 и IEC 61503–3 для квалификации инструмента. На основе вашего соблюдения рабочего процесса, желаемой суровости сертификации или специфичных для проекта потребностей, инструмент может потребовать квалификации инструмента.
Подробная процедура тестирования для каждого инструмента задана в соответствии, Выполняют Тесты Валидации и Результаты испытаний Анализа для <продукта> артефакт (certkitiec_<product>_run.mlx).
Примечание
Для Simulink® Coverage™ именами файлов является certkitiec_slcov_mc_run.mlx (для тестов покрытия модели) и certkitiec_slcov_cc_run.mlx (для тестов покрытия кода).
Используйте этот артефакт, чтобы выполнить тесты и процедуру в установленной и сконфигурированной среде.
Обеспечивает предложения для усиления Продуктов Mathworks, чтобы обратиться к методам, методам и требованиям мер, которые заданы в стандартах.
IEC Certification Kit обеспечивает следующие артефакты информации о Модельно-ориентированном проектировании:
Модельно-ориентированное проектирование для ISO 26262:2018
Модельно-ориентированное проектирование для EN 50128:2011 и EN 50657:2017
Модельно-ориентированное проектирование для IEC 61508:2010
Модельно-ориентированное проектирование для IEC 62304:2015
Модельно-ориентированное проектирование для ISO 25119:2018
Модельно-ориентированное проектирование для ISO/PAS 21448:2019
Примечание
Эти артефакты Модельно-ориентированного проектирования включают Продукты Mathworks, которые сертифицируются для использования в процессах разработки, которые требуются, чтобы выполнять ISO 26262, IEC 61508, IEC 62304, ISO 25119, EN 50128, EN 50657 или IEC 61511, также продукты, которые не сертифицируются.
Шаблон, который можно использовать, чтобы перечислить программные инструменты, которые вы использовали в своем проекте, наряду с соответствующей классификацией инструментов, проверкой и документацией сертификации.
IEC Certification Kit предоставляет специфичные для стандартов руководства по моделированию, которые можно использовать, чтобы улучшить податливость моделей и сгенерированного кода с ISO 26262, IEC 61508, IEC 62304, ISO 25119, EN 50128, EN 50657 или IEC 6 151 стандарт. Эти инструкции предоставляют рекомендации для создания моделей Simulink, которые завершены, однозначны, статически детерминированы, устойчивы, и поддаются проверке. Можно использовать проверки Model Advisor, чтобы проверить податливость с руководствами по моделированию.
Для получения дополнительной информации см. Руководства по моделированию для ISO 26262-6: 2018. Можно получить доступ к Руководствам по моделированию для артефакта ISO 26262:2018 (iso26262_guidelines.docx/pdf) при помощи Менеджера артефактов.
