Артефакты

Артефакты, доступные с 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), чтобы предоставить план разработки программного обеспечения.