Компоненты DO Qualification Kit

Артефакты DO Qualification Kit, чтобы помочь достигнуть целей сертификации проекта

DO Qualification Kit обеспечивает специфичные для инструмента артефакты, которые можно включать в DO - 178C, DO - 278A, и пакеты DO-254 сертификации, которые вы представляете для сертификации о вашем проекте. Эти артефакты доступны в Менеджере артефактов Сертификации.

Приложения

DO Qualification KitОптимальная проверка встраиваемых систем, которые используются в проектах, включающих DO-178, DO-254 и связанные стандарты

Функции

qualkitdoОткрытый менеджер артефактов сертификации для DO Qualification Kit

Темы

Менеджер артефактов

Доступ к артефактам в менеджере артефактов DO Qualification Kit

Менеджер артефактов содержит пакеты сертификации и артефакты.

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

Доступ к документам проверки для Simulink Check

Документы проверки включают шаблоны, тесты и процедуры тестирования.

Доступ к документам проверки для Simulink Coverage

Документы проверки включают шаблоны, тесты и процедуры тестирования.

Доступ к документам проверки для Simulink Requirements

Документы проверки включают шаблоны, тесты и процедуры тестирования.

Доступ к документам проверки для Simulink Report Generator

Документы проверки включают шаблоны, тесты и процедуры тестирования.

Доступ к документам проверки для сравнения модели Simulink

Документы проверки включают шаблоны, тесты и процедуры тестирования.

Доступ к документам проверки для Simulink Code Inspector

Документы проверки включают шаблоны, тесты и процедуры тестирования.

Доступ к документам проверки для Polyspace Bug Finder и Polyspace Bug Finder Server

Документы проверки включают шаблоны, тесты и процедуры тестирования.

Доступ к документам проверки для Polyspace Code Prover и Polyspace Code Prover Server

Документы проверки включают шаблоны, тесты и процедуры тестирования.

Доступ к документам проверки для Simulink Test

Документы проверки включают шаблоны, тесты и процедуры тестирования.

Доступ к документам проверки для Simulink Design Verifier

Документы проверки включают шаблоны, тесты и процедуры тестирования.

Поддержка артефактов

Доступ к артефактам поддержки для DO - 178C

Поддержка артефактов для квалификации инструментов для проектов, включающих DO - 178C стандарт.

Доступ к артефактам поддержки для DO-254

Поддержка артефактов для квалификации инструментов для проектов, включающих стандарт DO-254.

Отчеты об ошибках

Проверки DO Qualification Kit на отчеты об ошибках

Используйте проверки Model Advisor, чтобы отобразить отчеты об ошибках для поддерживаемых продуктов MathWorks®.