Артефакты сертификации инструмента поддерживают вас, когда вы используете продукты MathWorks® в контексте ISO 26262, IEC 61508, EN 50128, IEC 61511 или IEC 62 304 стандарта. Можно представить артефакты сертификации или производные этого, как доказательство соответствия со стандартами. Артефакты в наборе не доступны от веб-сайта MathWorks.
IEC Certification Kit обеспечивает следующие типы артефактов инструмента:
Чтобы ознакомить себя с артефактами, смотрите Исследование Артефактов.
Чтобы получить доступ к артефактам сертификации, откройте Менеджера артефактов и перейдите к папке продукта.
Артефакты инструмента для продуктов Mathworks
| Продукт | Сертификат | Отчет сертификата | Рабочий процесс | CDT | TQP | Тесты |
|---|---|---|---|---|---|---|
| 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
Эти документы рабочего процесса доступны в Менеджере артефактов:
Рабочий процесс IEC Certification Kit
Рабочий процесс Simulink Check
Рабочий процесс Simulink Coverage
Рабочий процесс Simulink Requirements
Рабочий процесс Simulink Design Verifier
Рабочий процесс Simulink Test
Polyspace Bug Finder и рабочий процесс Polyspace Bug Finder Server
Polyspace Code Prover и рабочий процесс Polyspace Code Prover Server
Рабочий процесс Embedded Coder
Рабочий процесс Simulink PLC Coder
Можно использовать демонстрационный шаблон соответствия (CDT), чтобы оценить соответствие рабочего процесса к ISO 26262, IEC 61508, IEC 62304 или EN 50128.
PDF и доступный для редактирования шаблон .docx, который можно использовать, чтобы продемонстрировать соответствие рабочего процесса ISO 26262, IEC 61508, IEC 62304 или EN 50128.
Демонстрационный шаблон соответствия предоставляет контрольным спискам меры и методы, которые можно использовать, чтобы оценить соответствие рабочего процесса к стандартам. Рабочий процесс описывает, как продукт используется в процессах разработки Модельно-ориентированного проектирования, которые должны выполнить стандарты.
Для каждого метода или меры в контрольном списке, можно утвердить степень, к которой вы применили метод или меру для приложения на рассмотрении:
Используемый
Используемый к ограниченному уровню
Не используемый
Кроме того, можно утвердить, как вы использовали метод или меру в приложении на рассмотрении. Если рабочий процесс включает альтернативные средние значения для соответствия, можно указать на то, какой вариант вы использовали.
PDF и доступный для редактирования файл .docx, который содержит шаблоны, предназначенные для использования в классификации инструментов ISO 26262 и процесса проверки для программных инструментов. TQP содержит шаблоны для этих, квалификация инструмента ISO 26262 работает продукты (см. ISO 26262-8, Пункт 11):
Отчет об оценке Критериев Программного инструмента, документирующий классификацию инструментов. Отчет перечисляет среду инструмента, настройку, рабочий процесс и варианты использования инструмента.
Отчет Проверки Программного инструмента, документирующий квалификацию инструмента, при необходимости.
Анализ подтверждения классификации инструментов и проверки.
ISO 26262-8, Пункт 11 предоставляет условия для программных инструментов, которые используются, чтобы адаптировать действия или задачи, требуемые ISO 26262. Чтобы установить необходимую уверенность в таких инструментах, стандарт обрисовывает в общих чертах двухступенчатый подход:
Классификация инструментов определяет необходимый Доверительный уровень инструмента (TCL) программного инструмента.
В зависимости от результата классификации инструментов вы можете должны быть выполнить формальную квалификацию инструмента.
Тесты и процедуры раньше поддерживали валидацию инструмента. Валидация инструмента является методом, перечисленным в ISO 26262 и IEC 61503–3 для квалификации инструмента. На основе вашего соблюдения рабочего процесса, желаемой суровости сертификации или специфичных для проекта потребностей, инструмент может потребовать квалификации инструмента.
ISO 26262, IEC 61508, IEC 62304 и EN 50 128 стандартов включают требования или рекомендации использовать сертифицируемые или квалифицированные инструменты. Можно использовать артефакты, которым предоставляют IEC Certification Kit, чтобы зарегистрировать соответствие с требованиями или рекомендациями. Ознакомить себя с артефактами, доступными для каждого Продукта Mathworks:
Откройте Менеджера артефактов, чтобы получить доступ к артефактам сертификации.
Откройте отчет сертификата и сертификата для продукта. Например, в Менеджере артефактов, перейдите к Embedded Coder и откройте отчет сертификата и сертификата продукта:
certkitiec_ecoder_certificate.pdf
certkitiec_ecoder_certreport.pdf
Сертификат certkitiec_ecoder_certificate.pdf имеет номер, дату, сертификационный знак TÜV и название продукта Embedded Coder. Это указывает, что TÜV оценил Embedded Coder как подходящий для использования в процессах разработки, которые должны выполнить ISO 26262, IEC 61508, EN 50128, IEC 62304 или IEC 61511.
Сертификат report 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 для связанных с безопасностью приложений.
Откройте Рабочий процесс для продукта для продукта. Например, в Менеджере артефактов, перейдите к Embedded Coder и откройте certkitiec_ecoder_workflow.pdf.
Рабочий процесс Embedded Coder описывает рабочий процесс для специализированной верификации и валидации моделей и сгенерированного 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
Откройте Демонстрационный шаблон соответствия (CDT) для продукта. Например, в Менеджере артефактов, перейдите к Embedded Coder и откройте certkitiec_ecoder_cdt.docx.
Можно использовать Демонстрационный Шаблон Соответствия Embedded Coder, чтобы продемонстрировать соответствие с частями ISO 26262-6/8, IEC 61508-3, IEC 62304 или EN 50128, покрытый Рабочим процессом Embedded Coder.
Например, в Демонстрационном Шаблоне Соответствия Embedded Coder, контрольный список 1 список Метод / Мера “Образцовый Анализ” со ссылкой на “Анализ и Статический анализ на Образцовом Уровне” в Рабочем процессе Embedded Coder. В третьем столбце контрольного списка можно утвердить, до какой степени вы применили “Образцовый Анализ” метод при оценке соответствия к стандарту.
Откройте Пакет Квалификации инструмента ISO 26262 для продукта. Например, в Менеджере артефактов, перейдите к Embedded Coder и откройте certkitiec_ecoder_tqp.docx.
Пакет Квалификации инструмента Embedded Coder имеет шаблоны для следующего ISO 26262, работают продукты:
Отчет об оценке критериев программного инструмента
Отчет проверки программного инструмента
Анализ подтверждения классификации инструментов и проверки
Отчет об оценке Критериев Программного инструмента обеспечивает варианты использования Embedded Coder и сводные данные классификации инструментов. Сводные данные классификации инструментов устанавливают эти необходимые доверительные уровни инструмента:
TCL1 для генератора кода, если вы следуете за Рабочим процессом Embedded Coder.
TCL2 для генератора кода, если вы следуете за подмножеством Рабочего процесса Embedded Coder.
Если применимо исследуйте Процедуру тестирования / Тесты для продукта. Например, в Менеджере артефактов, перейдите к Embedded Coder.
Чтобы выполнить тесты, смотрите Тесты Выполнения и Процедуры для Embedded Coder.
Создайте пакет сертификации, содержащий артефакты интереса. Смотрите Управляют Артефактами Используя Менеджера артефактов Сертификации.
