Доступ к документам проверки для 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®.