IEC Certification Kit предоставляет компоненты, которые помогают в проверке продуктов MathWorks, которые используются в проектах, соответствующих IEC 61508:2010, ISO 26262:2018, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 506557:2017 Специально можно использовать эти программные продукты или их производные в качестве доказательства податливости стандартам:
Программные продукты IEC Certification Kit недоступны из MathWorks® веб-сайт, они доступны только в Менеджера артефактов. Для получения дополнительной информации см. программные продукты доступа» в IEC Certification Kit Artifacts Explorer.
Дополнительные компоненты в IEC Certification Kit позволяют:
Примечание
Ни податливости с применимым стандартом безопасности, ни сертификация к нему не гарантируют безопасность программного обеспечения или фактора системы. Однако применимый стандарт безопасности может считаться современными или общепринятыми правилами технологии (GART) для разработки систем, связанных с безопасностью в вашей отрасли. Сертификация может использоваться в качестве доказательства того, что в процессе разработки системы применялись современные процедуры.
The rights.txt В файле описывается допустимое использование продукта IEC Certification Kit. Найти файл можно по адресу matlabroot/ toolbox/qualkits/iec
Сертификаты и отчеты о сертификации выдаются TÜV SÜD, немецким сертифицирующим органом, как доказательство того, что продукт подходит для использования в процессах разработки, которые должны соответствовать IEC 61508:2010, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:
Каждый сертификат имеет номер сертификата, специфичный для инструмента и на который ссылается отчет о сертификации.
Отчет о сертификации содержит результаты аудита инструмента TÜV SÜD и включает следующие разделы:
Назначение и возможности - обеспечивает цель и возможности оценки продукта TÜV SÜD. TÜV SÜD проводит аудит организации разработки MathWorks, отвечающей за продукт, для оценки процессов его разработки и обеспечения качества.
Обзор продукта - содержит общее описание и обзор использования продукта с другими продуктами в процессах разработки, которые должны соответствовать стандартам.
Идентификация (Identification) - идентифицирует релизы продуктов, охватываемые аудиторским отчетом.
Сертификация - содержит описание стандартов и базиса сертификации TÜV SÜD.
Результаты - обеспечивает результаты аудита, включая:
Разработка программного обеспечения и процессы разработки качества.
Процессы создания отчетов об ошибках клиентов.
Требования к программным инструментам в IEC 61508:2010, ISO 26262:2018, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:2017.
Классификация и валидация инструментов согласно IEC 61508:2010, IEC 62304:2015, ISO 25119:2018 и ISO 26262:2018.
Общие условия и ограничения - обеспечивают условия и ограничения на пригодность продукта для использования в процессах разработки, которые должны соответствовать стандартам функциональной безопасности.
Сводные данные и номер сертификата
Список сертификатов для конкретного инструмента и отчета о сертификации см. в разделе «Программные продукты сертификации инструментов». Эти программные продукты доступны в менеджере артефактов в папке конкретного инструмента.
ISO 26262-8: 2018, пункт 11 предусматривает положения для программных инструментов, которые используются для настройки действий или задач. Стандарт описывает двухэтапный подход для установления доверия к инструменту :
Классификация инструментов определяет необходимый уровень доверия в программном инструменте. Это доверие называется Tool Confidence Level (TCL).
В зависимости от результата классификации инструмента, может потребоваться выполнить формальную квалификацию инструмента.
TCP предназначен для использования в классификации инструментов и проверки программного инструмента для ISO 26262:2018. Документ включает эти квалификации инструмента рабочие продукты (см. ISO 26262-8: 2018, пункт 11):
Отчет об оценке критериев программного обеспечения, который предоставляет типовую классификацию инструментов, включая:
Примеры использования инструмента
Потенциальные сбои или ошибочный выход
Меры по предотвращению и обнаружению ошибок
Типовые сводные данные классификации инструментов
Отчет о квалификации инструмента, который предоставляет информацию о квалификации инструмента:
Требования к квалификации инструмента в соответствии с уровнем доверия инструмента (TCL)
Методы проверки инструмента, используемые MathWorks для предварительной квалификации инструмента с помощью TÜV SÜD
TQP также иллюстрирует реализацию программного обеспечения, инструмента в рабочем процессе Модельно-ориентированного проектирования, в отношении процессов разработки, которые должны соответствовать ISO 26262:2018, IEC 61508:2010, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:2017.
Ожидается, что вы оцените реализацию программного обеспечения, как представлено в рабочих процессах TQP и IEC Certification Kit Reference. По результатам оценки использование инструмента, который отклоняется от реализации, предусмотренной в программных продуктах, подготовленных MathWorks, должно быть задокументировано в программном продукте шаблона демонстрации соответствия.
Список программных продуктов TQP для конкретного инструмента см. в разделе Программных продуктов сертификации инструментов. Эти программные продукты доступны в менеджере артефактов в папке конкретного инструмента.
Программный продукт Conformance Demonment Template (CDT) документирует интегрирование и использование программного инструмента MathWorks в отношении рассматриваемого приложения. Для документирования этой информации CDT предоставляет таблицы « Валидность». В соответствии с ISO 26262-8: 2018, 11.4.2, можно использовать эти таблицы, чтобы подтвердить, что реализация программного инструмента для приложения под фактор соответствует предполагаемому (и предквалифицированному) функционалу, определенному MathWorks в План квалификации инструмента и Рабочий процесс программного продукта.
Таблицы « Валидность» включают:
Валидность случаев использования инструмента - Подтверждает случаи использования инструмента.
Валидность мер предотвращения и обнаружения ошибок - Подтверждает меры предотвращения и обнаружения ошибок.
Валидность сводных данных классификации типовых инструментов - подтверждает влияние инструмента (TI), выявление ошибок инструмента (TD) и уровень классификации инструмента (TCL).
Для каждого элемента строки в таблицах « Валидности» вы заявляете, соответствует ли реализация программного инструмента в рассматриваемом приложении случаю использования инструмента или мерам предотвращения и обнаружения ошибок при помощи:
Нет изменений - соответствует варианту использования или мере, заданным в MathWorks.
Не применяется - Не используется для рассматриваемой заявки.
Изменено - Обновлено с учетом рассматриваемой заявки.
Новое - Для рассматриваемой заявки требуется новый пример использования или мера предотвращения и обнаружения ошибок.
В этих таблицах можно предоставить подробную информацию о реализации случая использования программного инструмента или мерах по предотвращению и обнаружению ошибок в отношении рассматриваемого приложения.
Список специфичных для инструмента программных продуктов CDT см. в разделе Программных продуктов сертификации инструментов. Эти программные продукты доступны в менеджере артефактов в папке конкретного инструмента.
Тесты и процедуры, используемые для поддержки валидации инструмента. Исходя из вашего соответствия рабочему процессу Квалификации инструмента Package and Reference, желаемой строгости сертификации или потребностей конкретного проекта, инструмент может потребовать квалификации инструмента.
Подробная процедура тестирования для каждого инструмента задана в соответствующих тестах валидации и результатах анализа для артефакта < Product > (certkitiec_<product>_run.mlx). Используйте этот программный продукт для выполнения тестов и процедуры в установленной и сконфигурированном окружении.
Список связанных с тестами программных продуктов для каждого инструмента см. в программных продуктах сертификации инструментов». Эти программные продукты и тесты доступны в Менеджера артефактов, в папке конкретного инструмента.
Программные продукты ссылочного рабочего процесса определяют контекстный подход к сертификации и проверке инструмента. Этот подход основан на рабочем процессе, используемом при применении сертифицированных и квалифицированных инструментов для разработки или проверки программного обеспечения для IEC 61508:2010, ISO 26262:2018, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:2017 приложений. Необходимо установить, что инструменты используются в рабочих процессах и ограничениях, указанных в отчетах по сертификатам.
Ссылочный рабочий процесс:
Описывает мероприятия, направленные на соблюдение применимых требований к общим жизненным циклам ПО, определенным в стандартах IEC 61508:2010, ISO 26262:2018, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:2017.
Устраняет уровни риска:
ASIL A - ASIL D, согласно ISO 26262:2018
SIL 1 - SIL 4, согласно IEC 61508:2010
Класс A - класс C, согласно IEC 62304:2015
SIL 0 - SIL 3/4, согласно EN 50128:2011 и EN 50657:2017
SLR B, 1, 2, 3, согласно ISO 25119:2018
Ожидается, что вы оцените реализацию программного инструмента, как представлено в Квалификацию инструмента программных продуктов потока операций Пакет и Ссылка и ссылке. По результатам оценки использование инструмента, который отклоняется от реализации, предусмотренной в программных продуктах, подготовленных MathWorks, должно быть задокументировано в программном продукте шаблона демонстрации соответствия.
Эти ссылочные рабочие процессы доступны в менеджере артефактов, в папке Supporting Artifacts:
Рабочий процесс IEC Certification Kit Reference для встраиваемых приложений C/C + + (certkitiec_wf_embeddedccpp_app.docx)
Рабочий процесс справки по IEC Certification Kit для HDL-приложений (certkitiec_wf_hdl_app.docx)
Рабочий процесс справки по IEC Certification Kit для приложений ПЛК (certkitiec_wf_plc_app.docx)
Предоставляет рекомендации по использованию продуктов MathWorks для решения заданных в стандартах технологий, методов и мер.
Этот IEC Certification Kit предоставляет следующие Модельно-ориентированному проектированию информационные программные продукты:
Модельно-ориентированное проектирование для ISO 26262:2018 (certkitiec_mbd_iso26262)
Модельно-ориентированное проектирование для EN 50128:2011 и EN 50657:2017 (certkitiec_mbd_en50128)
Основанная на модели конструкция для IEC 61508:2010 (certkitiec_mbd_iec61508)
Основанная на модели конструкция для IEC 62304:2015 (certkitiec_mbd_iec62304)
Модельно-ориентированное проектирование для ISO 25119:2018 (certkitiec_mbd_iso25119)
Основанная на модели конструкция для ISO/PAS 21448:2019 (certkitiec_mbd_iso21448)
Примечание
Эти Модельно-ориентированное проектирование программных продуктов включать продукты MathWorks, которые сертифицированы для использования в процессах разработки, которые должны соответствовать IEC 61508:2010, ISO 26262:2018, IEC 62304:2015, ISO 25119:2018, EN 50128:2011, и EN 50657:2017, а также продукты, которые не сертифицированы
Эти программные продукты доступны в Менеджера артефактов.
Шаблон, который можно использовать для перечисления программного обеспечения, инструменты вы использовали в проекте, наряду с соответствующим инструментом классификационной, квалификационной и сертификационной документацией.
Этот шаблон (certkitiec_tools) доступно в менеджере артефактов.
IEC Certification Kit предоставляет стандартизированные руководства по моделированию, которые можно использовать для повышения податливости ваших моделей и сгенерированного кода с IEC 61508:2010, ISO 26262:2018, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:2017. Эти инструкции предоставляют рекомендации для создания Simulink® модели, которые являются полными, однозначными, статически детерминированными, устойчивыми и проверяемыми. Можно использовать проверки Model Advisor, чтобы проверить податливость руководствам по моделированию.
Для получения дополнительной информации смотрите Руководства по моделированию для ISO 26262-6: 2018.
Руководства по моделированию для программного продукта ISO 26262:2018 (iso26262_guidelines.docx/ pdf) доступно в менеджере артефактов.
