Компоненты 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 Qualification Kit для DO - 178C обобщает DO - 178C цели и предоставляет рекомендации для достижения целей.

Доступ к рабочему процессу модельно-ориентированного проектирования для DO-254

Рабочий процесс Модельно-ориентированного проектирования DO Qualification Kit для DO-254 обобщает DO 254 цели и предоставляет рекомендации для достижения целей.

Доступ к Плану относительно Аспектов программного обеспечения шаблона Certification (PSAC)

Используйте шаблон Plan for Software Aspects of Certification (PSAC), чтобы обеспечить данные о планировании.

Шаблон Access Software Model Standard (SWMS)

Используйте шаблон Software Model Standard (SWMS), чтобы предоставить план разработки программного обеспечения.

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

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

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