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