IEC Certification Kit обеспечивает компоненты, которые помогают в проверке Продуктов Mathworks, которые используются в проектах, которые выполняют IEC 61508:2010, ISO 26262:2018, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:2017 стандарты. Особенно, можно использовать эти артефакты или производные этого, как доказательство податливости со стандартами:
Артефакты 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:2010, IEC 62304:2015, ISO 25119:2018, EN 50128:2011 и EN 50657:2017, или квалифицированный согласно ISO 26262:2018.
Каждый сертификат имеет номер сертификата, который характерен для инструмента и ссылается докладом о сертификации.
Доклад о сертификации обеспечивает результаты аудита инструмента TÜV SÜD и включает эти разделы:
Цель и Осциллограф - Обеспечивают цель и осциллограф оценки TÜV SÜD продукта. TÜV SÜD контролирует организацию разработки MathWorks, ответственную за продукт, чтобы оценить их процессы разработки и гарантии качества.
Обзор продукта - Предоставляет общее описание и обзор того, как продукт используется с другими продуктами в процессах разработки, которые должны выполнить стандарты.
Идентификация - Идентифицирует версии продукта, которые охвачены аудиторским отчетом.
Сертификация - Предоставляет описания стандартов и базис сертификации 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.
Общие условия и Ограничения - Обеспечивают условия и ограничения на пригодность продукта для использования в процессах разработки, которые должны выполнить стандарты функциональной безопасности.
Сводные данные и номер сертификата
Для списка специфичного для инструмента сертификата и доклада о сертификации, смотрите Артефакты Сертификации Инструмента. Эти артефакты доступны в Менеджере артефактов в специфичной для инструмента папке.
26262-8:2018 ISO, пункт 11 предоставляет условия для программных инструментов, которые используются, чтобы адаптировать действия или задачи. Стандарт обрисовывает в общих чертах двухступенчатый подход, чтобы установить доверие к инструменту:
Классификация инструментов определяет необходимый уровень доверия к программному инструменту. Это доверие упоминается как Доверительный уровень инструмента (TCL).
В зависимости от результата классификации инструментов вы можете должны быть выполнить формальную квалификацию инструмента.
TCP предназначается для использования в классификации инструментов и проверке программного инструмента для ISO 26262:2018. Документ включает их, квалификация инструмента работает продукты (см. 26262-8:2018 ISO, пункт 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.
Вы, как ожидают, оцените реализацию программного инструмента, как представлено в Рабочем процессе IEC Certification Kit и TQP. На основе результатов оценки использование инструмента, который отклоняется от реализации, обеспеченной в артефактах, подготовленных MathWorks, должно быть зарегистрировано в Демонстрационный артефакт Шаблона Соответствия.
Для списка специфичных для инструмента артефактов TQP смотрите Артефакты Сертификации Инструмента. Эти артефакты доступны в Менеджере артефактов в специфичной для инструмента папке.
Артефакт Демонстрационного шаблона соответствия (CDT) документирует интегрирование и использование программного инструмента MathWorks относительно приложения на рассмотрении. Чтобы зарегистрировать эту информацию, CDT предоставляет таблицы “Validity of”. В соответствии с 26262-8:2018 ISO, 11.4.2, можно использовать эти таблицы, чтобы подтвердить, что реализация программного инструмента для приложения на рассмотрении выполняет намеченное (и предварительно квалифицированный) функциональность, как задано MathWorks в артефакте Плана квалификации инструмента и Рабочего процесса.
Таблицы “Validity of” включают:
Валидность Вариантов использования Инструмента — Подтверждает варианты использования инструмента.
Валидность Ошибочных Мер по Предотвращению и Обнаружению — Подтверждает ошибочные меры по предотвращению и обнаружению.
Валидность типовых сводных данных классификации инструментов — подтверждает Удар инструмента (TI), выявление ошибок инструмента (TD) и Гриф секретности инструмента (TCL).
Для каждого элемента строки в таблицах "Validity of" вы объявляете, выполняет ли реализация программного инструмента в приложении на рассмотрении меры по предотвращению и обнаружению варианта использования или ошибки инструмента при помощи:
Никакое Изменение — Не Выполняет вариант использования или меру, заданную MathWorks.
Не Применимый — Не используемый для приложения на рассмотрении.
Измененный — Обновленный, чтобы отразить приложение на рассмотрении.
Новый — новая мера по предотвращению и обнаружению варианта использования или ошибки требуется для приложения на рассмотрении.
В рамках этих таблиц можно предоставить подробную информацию о реализации мер по предотвращению и обнаружению варианта использования или ошибки программного инструмента относительно приложения на рассмотрении.
Для списка специфичных для инструмента артефактов CDT смотрите Артефакты Сертификации Инструмента. Эти артефакты доступны в Менеджере артефактов в специфичной для инструмента папке.
Тесты и процедуры раньше поддерживали валидацию инструмента. На основе вашего соблюдения Пакета Квалификации инструмента и Рабочего процесса, желаемой суровости сертификации или специфичных для проекта потребностей, инструмент может потребовать квалификации инструмента.
Подробная процедура тестирования для каждого инструмента задана в соответствии, Выполняют Тесты Валидации и Результаты испытаний Анализа для <продукта> артефакт (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 - 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 для Встроенных Приложений C/C++ (certkitiec_wf_embeddedccpp_app.docx)
Рабочий процесс IEC Certification Kit для приложений HDL (certkitiec_wf_hdl_app.docx)
Рабочий процесс IEC Certification Kit для приложений PLC (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) доступно в Менеджере артефактов.
