Артефакты инструмента

Артефакты сертификации инструмента поддерживают вас, когда вы используете продукты MathWorks® в контексте ISO 26262, IEC 61508, EN 50128, IEC 61511 или IEC 62 304 стандарта. Можно представить артефакты сертификации или производные этого, как доказательство податливости со стандартами. Артефакты в наборе не доступны от веб-сайта MathWorks.

IEC Certification Kit обеспечивает следующие типы артефактов инструмента:

Чтобы ознакомить себя с артефактами, смотрите Исследование Артефактов.

Чтобы получить доступ к артефактам сертификации, откройте Менеджера артефактов и перейдите к папке продукта.

Артефакты инструмента для продуктов Mathworks

ПродуктСертификатОтчет сертификатаРабочий процессCDTTQPТесты
Embedded Coder®
(когда применимый) AUTOSAR Blockset
Simulink® PLC Coder™
Simulink Check™
Simulink Coverage™
Simulink Requirements™
Simulink Design Verifier™
Polyspace® Bug Finder™
Polyspace Bug Finder Server™
Polyspace Code Prover™
Polyspace Code Prover Server
Simulink Test™

Сертификат

Файл PDF, выпущенный TÜV SÜD как доказательство, что продукт подходит для использования в процессах разработки, которые должны выполнить IEC 61508, EN 50128, IEC 61511, IEC 62304 или квалифицированный согласно ISO 26262. Каждый сертификат имеет номер сертификата.

Отчет сертификата

TÜV SÜD, немецкий сертифицирующий орган, выпускает аудиторский отчет, оценивающий пригодность продукта для использования в процессах разработки, которые должны выполнить IEC 61508, EN 50128, IEC 61511 или IEC 62304 или квалифицированный согласно ISO 26262.

Отчет имеет следующие разделы:

  • Цель и Осциллограф - Обеспечивают цель и осциллограф оценки TÜV SÜD продукта. TÜV SÜD контролирует организацию разработки MathWorks, ответственную за продукт, чтобы оценить их процессы разработки и гарантии качества.

  • Обзор продукта - Предоставляет общее описание и обзор того, как продукт используется с другими продуктами в процессах разработки, которые должны выполнить стандарты.

  • Идентификация - Идентифицирует версии продукта, которые охвачены аудиторским отчетом.

  • Сертификация - Предоставляет описания стандартов и основание сертификации TÜV SÜD.

  • Результаты - Обеспечивают результаты аудита, включая:

    • Разработка программного обеспечения и качественные процессы разработки.

    • Потребительские процессы создания отчетов ошибки.

    • Требования к программным инструментам в IEC 61508, ISO 26262, IEC 62304 и EN 50128.

    • Классификация инструментов и валидация согласно IEC 61508, IEC 62304 и ISO 26262.

  • Общие условия и Ограничения - Обеспечивают условия и ограничения на пригодность продукта для использования в процессах разработки, которые должны выполнить ISO 26262, IEC 61508, EN 50128, IEC 62304 или IEC 61511.

  • Сводные данные и номер сертификата

Рабочий процесс

Файл PDF, описывающий рабочий процесс, в котором продукт используется в процессах разработки Модельно-ориентированного проектирования, которые должны выполнить ISO 26262, IEC 61508, EN 50128, IEC 62304 или IEC 61511.

Продукт IEC Certification Kit следует за подходом в контексте к сертификации инструмента и проверке. Этот подход основан на рабочих процессах, используемых при применении сертифицированных и квалифицированных инструментов, чтобы разработать или проверить программное обеспечение для ISO 26262, IEC 61508, IEC 62304 и EN 50 128 приложений. Необходимо установить, что инструменты используются в рабочих процессах, на которые ссылаются, и ограничениях, заданных в Отчетах Сертификата.

Рабочий процесс:

  • Описывает действия, предназначенные, чтобы выполнить применимые требования полных жизненных циклов безопасности программного обеспечения, заданных IEC 61508-3, ISO 26262, IEC 62304 и EN 50128.

  • Адреса рискуют уровнями:

    • ASIL - ASIL D, согласно ISO 26262

    • СИЛ 1 - СИЛ 4, согласно IEC 61508

    • Класс A - Класс C, согласно IEC 62304

    • СИЛ 0 - СИЛ 3/4, согласно EN 50128

Примечание

Можно использовать демонстрационный шаблон соответствия (CDT), чтобы оценить соответствие рабочего процесса к ISO 26262, IEC 61508, IEC 62304 или EN 50128.

Демонстрационный шаблон соответствия (CDT)

PDF и доступный для редактирования .docx обработайте это по шаблону, можно использовать, чтобы продемонстрировать соответствие рабочего процесса ISO 26262, IEC 61508, IEC 62304 или EN 50128.

Демонстрационный шаблон соответствия предоставляет контрольным спискам меры и методы, которые можно использовать, чтобы оценить соответствие рабочего процесса к стандартам. Рабочий процесс описывает, как продукт используется в процессах разработки Модельно-ориентированного проектирования, которые должны выполнить стандарты.

Для каждого метода или меры в контрольном списке, можно утвердить степень, к которой вы применили метод или меру для приложения на рассмотрении:

  • Используемый

  • Используемый к ограниченному уровню

  • Не используемый

Кроме того, можно утвердить, как вы использовали метод или меру в приложении на рассмотрении. Если рабочий процесс включает альтернативные средние значения для податливости, можно указать на то, какой вариант вы использовали.

Пакет квалификации инструмента (TQP) ISO 26262

PDF и доступный для редактирования .docx файл, который содержит шаблоны, предназначенные для использования в классификации инструментов 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). Используйте этот артефакт, чтобы выполнить тесты и процедуру в установленной и сконфигурированной среде.

Исследование артефактов

ISO 26262, IEC 61508, IEC 62304 и EN 50 128 стандартов включают требования или рекомендации использовать сертифицируемые или квалифицированные инструменты. Можно использовать артефакты, которым предоставляют IEC Certification Kit, чтобы зарегистрировать податливость с требованиями или рекомендациями. Ознакомить себя с артефактами, доступными для каждого Продукта Mathworks:

  1. Откройте Менеджера артефактов, чтобы получить доступ к артефактам сертификации. Например, перейдите к папке Embedded Coder.

  2. Откройте отчет сертификата и сертификата для Embedded Coder.

    Сертификат (certkitiec_ecoder_certificate.pdf) имеет номер, дату, сертификационный знак TÜV и название продукта Embedded Coder. Это указывает, что TÜV оценил Embedded Coder как подходящий для использования в процессах разработки, которые должны выполнить ISO 26262, IEC 61508, EN 50128, IEC 62304 или IEC 61511.

    Отчет сертификата (certkitiec_ecoder_certreport.pdf) аудиторский отчет, детализирующий оценку TÜV Embedded Coder для использования в процессах разработки, которые должны выполнить ISO 26262, IEC 61508, IEC 62304, EN 50128 или IEC 61511.

    Чтобы выполнить ISO 26262, IEC 61508, IEC 62304, EN 50128 или IEC 61511, раздел "General conditions and restrictions" отчета сертификата рекомендует использование Рабочего процесса Embedded Coder для связанных с безопасностью приложений.

  3. Откройте рабочий процесс для Embedded Coder.

    Рабочий процесс Embedded Coder (certkitiec_ecoder_workflow.pdf) описывает рабочий процесс для специализированной верификации и валидации моделей и сгенерированного C и Кода С++, разработанного с помощью Модельно-ориентированного проектирования с генерацией кода продукта. Чтобы выполнить ISO 26262, IEC 61508, IEC 62304, EN 50128 или IEC 61511, необходимо использовать этот рабочий процесс в связанных с безопасностью приложениях.

    Рабочий процесс Embedded Coder обращается к этим уровням риска

    • ASIL - ASIL D, согласно ISO 26262

    • СИЛ 1 - СИЛ 4, согласно IEC 61508

    • Класс A - Класс C, согласно IEC 62304

    • СИЛ 0 - СИЛ 3/4, согласно EN 50128

  4. Откройте Демонстрационный шаблон соответствия (CDT) для Embedded Coder.

    Можно использовать Демонстрационный Шаблон Соответствия Embedded Coder (certkitiec_ecoder_cdt.docx) продемонстрировать соответствие с частями ISO 26262-6/8, IEC 61508-3, IEC 62304 или EN 50128, покрытый Рабочим процессом Embedded Coder.

    Например, в Демонстрационном Шаблоне Соответствия Embedded Coder, контрольный список 1 список Метод / Мера “Анализ Модели” со ссылкой на “Анализ и Статический анализ на Уровне Модели” в Рабочем процессе Embedded Coder. В третьем столбце контрольного списка можно утвердить, до какой степени вы применили “Анализ Модели” метод при оценке податливости к стандарту.

  5. Откройте пакет квалификации инструмента ISO 26262 для Embedded Coder.

    Пакет квалификации инструмента Embedded Coder (certkitiec_ecoder_tqp.docx) имеет шаблоны для следующего ISO 26262, работают продукты:

    • Отчет об оценке критериев программного инструмента

    • Отчет проверки программного инструмента

    • Анализ подтверждения классификации инструментов и проверки

    Отчет об оценке Критериев Программного инструмента обеспечивает варианты использования Embedded Coder и сводные данные классификации инструментов. Сводные данные классификации инструментов устанавливают эти необходимые доверительные уровни инструмента:

    • TCL1 для генератора кода, если вы следуете за Рабочим процессом Embedded Coder.

    • TCL2 для генератора кода, если вы следуете за подмножеством Рабочего процесса Embedded Coder.

  6. Если применимо исследуйте тесты для Embedded Coder.

    Для получения информации о выполнении процедуры тестирования каждый продукт смотрите Квалификацию инструмента.

  7. Создайте пакет сертификации, содержащий артефакты интереса. Для получения дополнительной информации смотрите, Создают Пакеты Сертификации в Менеджере артефактов.