В следующей таблице указаны дополнительные программные продукты в DO Qualification Kit, которые можно использовать для проверки инструментов верификации для проектов, которые следуют за DO-178C, DO-278A, DO-254 и связанными дополнениями. Чтобы просмотреть эти программные продукты, откройте Менеджера артефактов и нажмите на папку продукта. Для получения дополнительной информации см. Доступ Программных продуктов в Менеджера артефактов DO Qualification Kit.
Примечание
Эти программные продукты недоступны в MathWorks® веб-сайт. Доступ к ним возможен только из браузера Менеджер Артефактов или matlabroot
.
Список продуктов MathWorks, поддерживаемых для каждого стандарта, см. в разделах Продукты, поддерживаемые DO Qualification Kit.
Стандарт | Компонент DO Qualification Kit | |||
---|---|---|---|---|
PSAC и PHAC | Рабочий процесс модельно-ориентированного проектирования (DO-178C и DO-254) | SWMS | Отчет об установке инструмента | |
DO-178C | qualkitdo_psac.docx / pdf | qualkitdo_do178_workflow.pdf | qualkitdo_swms.docx / pdf | qualkitdo_tir.docx / pdf |
DO-254 | Смотрите Изменение DO Qualification Kit Программных продуктов для DO-254 кредита. | qualkitdo_do254_workflow.pdf | Не применяется | qualkitdo_tir.docx / pdf |