Сертификационный комплект МЭК содержит компоненты, которые помогают в квалификации продукции MathWorks, используемой в проектах, соответствующих стандартам МЭК 61508:2010, ISO 26262:2018, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:2017. Специально можно использовать эти артефакты или их производные в качестве доказательства соответствия стандартам:
Артефакты IEC Certification Kit недоступны с веб-сайта MathWorks ®, они доступны только в обозревателе артефактов. Дополнительные сведения см. в разделе Доступ к артефактам в обозревателе артефактов набора сертификации МЭК.
Дополнительные компоненты в комплекте для сертификации МЭК позволяют:
Примечание
Ни соответствие, ни сертификация применимому стандарту безопасности не обеспечивают безопасность программного обеспечения или рассматриваемой системы. Однако применимый стандарт безопасности может считаться современным или общепринятым технологическим стандартом (GART) для разработки связанных с безопасностью систем в вашей отрасли. Сертификация может использоваться в качестве доказательства того, что во время разработки системы применялись самые современные процедуры.
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:2017, или квалифицированы в соответствии с ISO 26220.
Каждый сертификат имеет номер сертификата, который относится к средству и на который ссылается отчет о сертификации.
Отчет о сертификации содержит результаты аудита инструмента, проведенного ТЮВ 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.
Классификация и проверка инструмента согласно МЭК 61508:2010, МЭК 62304:2015, ISO 25119:2018 и ISO 26262:2018.
Общие условия и ограничения - условия и ограничения на пригодность изделия для использования в процессах разработки, которые должны соответствовать функциональным стандартам безопасности.
Сводка и номер сертификата
Список специфичных для инструмента сертификатов и отчетов о сертификации см. в разделе Артефакты сертификации инструментов. Эти артефакты доступны в обозревателе артефактов в папке для конкретных инструментов.
ISO 26262-8: 2018, пункт 11 содержит положения о программных средствах, которые используются для адаптации действий или задач. Стандарт описывает двухэтапный подход к установлению доверия к инструменту :
Классификация инструмента определяет требуемый уровень доверия к программному инструменту. Эта уверенность называется уровнем достоверности инструмента (TCL).
В зависимости от результата классификации инструмента может потребоваться выполнить формальную квалификацию инструмента.
TCP предназначен для использования при классификации и квалификации программного обеспечения по ISO 26262:2018. Документ включает в себя следующие квалификационные рабочие продукты инструмента (см. ISO 26262-8: 2018, пункт 11):
Отчет об оценке критериев программного обеспечения, содержащий общую классификацию программного обеспечения, включая:
Сценарии использования инструментов
Потенциальные неисправности или ошибочные выходные данные
Меры по предотвращению и обнаружению ошибок
Сводка по классификации универсальных инструментов
Отчет об оценке программного обеспечения, содержащий информацию об оценке программного обеспечения:
Требования к квалификации инструмента в соответствии с уровнем достоверности инструмента (РУД)
Методы квалификации инструмента, используемые 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 and IEC Certification Kit Reference Workflow. По результатам оценки использование инструмента, отклоняющегося от реализации, предусмотренной артефактами, подготовленными MathWorks, должно быть задокументировано в артефакте Демонстрационного шаблона соответствия.
Список артефактов TQP для конкретных инструментов см. в разделе Артефакты сертификации инструментов. Эти артефакты доступны в обозревателе артефактов в папке для конкретных инструментов.
Артефакт демонстрационного шаблона соответствия (CDT) документирует интеграцию и использование программного средства MathWorks в отношении рассматриваемого приложения. Для документирования этой информации CDT предоставляет таблицы «Валидность». В соответствии с ISO 26262-8: 2018, 11.4.2, эти таблицы можно использовать для подтверждения того, что реализация программного средства для рассматриваемого приложения соответствует намеченной (и предварительно квалифицированной) функциональности, определенной MathWorks в плане квалификации инструмента и эталонном артефакте рабочего процесса.
Таблицы «Срок действия» включают:
Действительность сценариев использования инструмента - подтверждает сценарии использования инструмента.
Достоверность мер по предотвращению и обнаружению ошибок - подтверждает меры по предотвращению и обнаружению ошибок.
Достоверность сводки по общей классификации инструментов - подтверждает влияние инструментов (TI), обнаружение ошибок инструментов (TD) и уровень классификации инструментов (TCL).
Для каждого элемента строки в таблицах «Срок действия» указывается, соответствует ли реализация программного обеспечения в рассматриваемом приложении сценарию использования инструмента или мерам предотвращения и обнаружения ошибок с помощью:
Нет изменений (No Change) - соответствует сценарию использования или измерению, определенному MathWorks.
Неприменимо - не используется для рассматриваемой заявки.
Изменено - обновлено для отражения рассматриваемого заявления.
Новый - для рассматриваемого приложения требуется новый сценарий использования или мера по предотвращению и обнаружению ошибок.
В этих таблицах можно предоставить подробную информацию о реализации сценария использования программного обеспечения или мерах по предотвращению и обнаружению ошибок в рассматриваемом приложении.
Список специальных артефактов CDT см. в разделе Артефакты сертификации инструментов. Эти артефакты доступны в обозревателе артефактов в папке для конкретных инструментов.
Тестовые примеры и процедуры, используемые для поддержки проверки инструмента. В зависимости от того, насколько вы соблюдаете требования, предъявляемые к пакету квалификации инструмента и эталонному рабочему процессу, требуемой строгости сертификации или специфичным для проекта требованиям, инструменту может потребоваться квалификация инструмента.
Подробная процедура тестирования для каждого инструмента указана в соответствующем разделе Выполнение проверочных тестов и проверка результатов тестирования для артефакта < 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, согласно МЭК 61508:2010
Класс A - класс C, согласно МЭК 62304:2015
SIL 0 - SIL 3/4, согласно EN 50128:2011 и EN 50657:2017
SLR B, 1, 2, 3, согласно ISO 25119:2018
Вы, как ожидают, оцените внедрение программного средства, как представлено в артефактах Технологического процесса Пакета и Ссылки Квалификации Инструмента и справочном технологическом процессе. По результатам оценки использование инструмента, отклоняющегося от реализации, предусмотренной артефактами, подготовленными MathWorks, должно быть задокументировано в артефакте Демонстрационного шаблона соответствия.
Эти ссылочные рабочие процессы доступны в обозревателе артефактов в папке «Поддерживаемые артефакты»:
Эталонный рабочий процесс комплекта для сертификации МЭК для встраиваемых приложений C/C + + (certkitiec_wf_embeddedccpp_app.docx)
Эталонный рабочий процесс комплекта для сертификации МЭК для приложений HDL (certkitiec_wf_hdl_app.docx)
Справочная документация по комплекту сертификации МЭК для приложений ПЛК (certkitiec_wf_plc_app.docx)
Содержит рекомендации по использованию продуктов MathWorks для удовлетворения требований к методам, методам и мерам, указанным в стандартах.
Комплект для сертификации МЭК содержит следующие артефакты информации о конструировании на основе моделей:
Дизайн на основе модели для 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 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) доступен в обозревателе артефактов.