Начало работы с DO Qualification Kit

DO Qualification Kit предоставляет документацию, тесты и процедуры, которые позволяют вам квалифицировать Simulink^® и инструменты верификации программного обеспечения Polyspace^® для проектов на основе DO - 178C, DO - 278A, и связанные дополнения. Набор содержит планы квалификации инструмента, инструмент операционные требования и другие материалы, требуемые для квалификации инструментов верификации программного обеспечения. С набором можно оптимизировать сертификацию о встраиваемых системах, разработанных с помощью, поддержал Simulink и Продукты polyspace.

Наборы квалификации инструмента доступны для определенных версий Simulink и инструментов верификации Polyspace на основе DO-330, Факторов Проверки Программного инструмента. Можно изменить артефакты в наборе квалификации инструмента для определенного проекта и включать их в DO - 178C и DO - 278A пакеты сертификации, представленные для сертификации.

DO - Сертификация проекта 178C и квалификация инструмента

• Проверка программного инструмента для DO - 178C и DO - 278A
  

  Если вывод программных инструментов, используемых в авиационном, земле - или основанные на пробеле системы, не проверяется, чтобы выполнить стандарты, необходимо квалифицировать тот инструмент.

• Рабочий процесс модельно-ориентированного проектирования в DO - 178C
  

  В жизненном цикле программного обеспечения DO-178C рабочий процесс Модельно-ориентированного проектирования включает определенные действия разработки и верификации.

• Инструменты верификации программного обеспечения модельно-ориентированного проектирования для DO - 178C
  

  DO Qualification Kit включает шаблоны документов, тесты и процедуры тестирования, что необходимо квалифицировать инструменты верификации программного обеспечения MathWorks^®.

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

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

Сертификация DO-254 проекта и квалификация инструмента

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

  В аппаратном DO-254 жизненном цикле рабочий процесс Модельно-ориентированного проектирования включает определенные действия разработки и верификации.

• Аппаратные инструменты верификации модельно-ориентированного проектирования для DO-254
  

  DO Qualification Kit включает шаблоны документов, тесты и процедуры тестирования, что необходимо квалифицировать инструменты верификации программного обеспечения MathWorks.

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

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

• Примените продукт DO Qualification Kit к DO 254 стандарта
  

  Используйте продукт DO Qualification Kit, чтобы квалифицировать инструменты верификации для проектов, которые следуют за DO-254.