IEC Certification Kit (для IEC 61508 и ISO 26262)
Квалификация инструментов генерации кода и инструментов верификации для сертификации по ISO 26262 (ГОСТ Р ИСО 26262) и IEC 61508 (ГОСТ Р МЭК 61508).
ДокументацияПакет поддержки квалификации инструментов IEC Certification Kit предоставляет артефакты квалификации инструментов, сертификаты и наборы тестов, а также генерирует матрицы трассируемости. Этот пакет помогает квалифицировать продукты для генерации и верификации кода и ускорить сертификацию ваших встроенных систем в соответствии с ISO 26262 (ГОСТ Р ИСО 26262), IEC 61508 (ГОСТ Р МЭК 61508), EN 50128 (СТ РК EN 50128-2012) и соответствующими стандартами функциональной безопасности, таким как IEC 62304 (ГОСТ Р МЭК 62304). Сертификаты и отчеты об оценке сертификационного органа TÜV SÜD включены в комплект для поддерживаемых продуктов и стандартов.
IEC Certification Kit предоставляет документы для квалификации и классификации инструментов по ISO 26262, а также комплекты тестов. Он включает шаблоны, которые позволяют адаптировать рабочие продукты к конкретным потребностям проекта. С его помощью создаются специфичные для проекта артефакты, включая матрицы трассируемости, охватывающие требования, модели и сгенерированный код. Специфичные для проекта и продукта артефакты могут быть объединены для создания полного пакета квалификации инструмента ISO 26262 для сертификации встроенных систем.
Связь со стандартами IEC 61508, ISO 26262, EN 50128, IEC 62304
Стандарты ISO 26262, EN 50128, IEC 62304 описывают функциональную безопасность для различных отраслей промышленности:
-
ISO 26262 (в России, ГОСТ Р ИСО 26262) – Автомобильная
-
EN 50128 (в России, ГОСТ Р МЭК 62279) – Железнодорожная
-
IEC 62304 (в России, ГОСТ Р МЭК 62304) – Медицинская
Данные стандарты расширяют стандарт IEC 61508 (ГОСТ Р МЭК 61508, «Функциональная безопасность систем электрических, электронных, программмируемых электронных, связанных с безопасностью»).
IEC Certification Kit включает сертификаты TÜV SÜD для IEC 61508: 2010, ISO 26262: 2011, EN 50128: 2011, IEC 62304: 2006 и IEC 61511: 2003. IEC Certification Kit также может быть использован в качестве основы для квалификации инструментов и для руководства по использованию модельно-ориентированного проектирования для разработки систем, требующих сертификации в соответствии с другими стандартами и адаптациями, относящимися к IEC 61508 (ГОСТ Р МЭК 61508).
Квалификация инструментов
IEC Certification Kit следует контекстному подходу к сертификации или квалификации инструмента на основе типичного рабочего процесса или случаев использования, когда заявитель применяет поддерживаемые инструменты для разработки или верификации программного обеспечения для функциональных стандартов безопасности, соответствующих стандартам или для приложений, сертифицированных по стандартам. В рабочем процессе рассматриваются уровни ASIL A – ASIL D в соответствии с ISO 26262, SIL 1 – SIL 3 в соответствии с IEC 61508 и SIL 0 – SIL 4 в соответствии с EN 50128. Заявитель должен использовать инструменты в рабочих процессах, на которые ссылаются, а также в рамках ограничений и вариантов использования, указанных в планах сертификации проектов заявителя.
IEC Certification Kit предназначен для того, чтобы помочь предоставить полный пакет документов органам по сертификации, для квалификации продуктов MATLAB®, Simulink и Polyspace . Для использования IEC Certification Kit , заявитель выполняет следующие действия:
-
Документирование соответствия требованиям соответствующего стандарта функциональной безопасности и предполагаемых вариантов использования.
-
Предлагает первоначальный план сертификации органам по сертификации.
-
Собирает предоставленные инструментами артефакты, такие как сертификаты TÜV SÜD, и выполняет независимые от приложений действия по квалификации инструментов, включая выполнение эталонных тестов для продуктов.
-
Выполняет действия по определению инструмента для конкретного использования, таких как создание трассируемости модели к коду с использованием возможности генерации матрицы трассируемости, которую обеспечивает IEC Certification Kit.
-
Предоставляет завершенный пакет сертификационных документов органам по сертификации.
IEC Certification Kit содержит руководство и информацию для вышеуказанных шагов и включает шаблоны документов, тестовые наборы и процедуры тестирования, необходимые для квалификации поддерживаемых продуктов Simulink и Polyspace.
Для поддерживаемых продуктов в IEC Certification Kit входят следующие артефакты:
-
Сертификат TÜV SÜD и отчет о сертификате
-
Эталонный рабочий процесс
-
План квалификации инструмента
-
Шаблон демонстрации соответствия инструмента
-
Тестовые вектора, процедуры и результаты (для продуктов Embedded Coder®, Polyspace и других продуктов)
Необходимо выполнить эталонные примеры и процедуры из IEC Certification Kit в среде установки MATLAB или Polyspace заявителя. Затем полученные результаты сравниваются с ожидаемыми результатами, и заявитель проводит работы, чтобы устранить любые различия.
Сертификация Систем
IEC Certification Kit содержит подробное руководство по рабочему процессу, необходимое для разработки и верификации систем с использованием модельно-ориентированного проектирования. Руководство по рабочему процессу описывает процессы, методы и инструменты, используемые для каждого этапа разработки и верификации программного обеспечения, от проверки требований высокого уровня до верификации исполняемого объектного кода.
С помощью IEC Certification Kit сгенерируется матрица трассируемости, в которой содержится двунаправленная трассируемость требований к модели и коду и информация о файле. Также IEC Certification Kit используется для создания списка зарегистрированных ошибок, которые хранятся и архивировуются для ключевых инструментов Simulink и Polyspace, используемых для модельно-ориентированного проектирования.
Примечание: Simulink и Polyspace не были разработаны с использованием процесса, соответствующего стандарту IEC 61508.Использование сертифицированных инструментов не обеспечивает безопасность программного обеспечения или рассматриваемой системы.
