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

Программное обеспечение, которое включено в авиационные системы, должно сертифицироваться путем достижения целей DO - 178C стандарт. Программное обеспечение, которое включено в землю - или основанные на пробеле системы, должно быть утверждено путем достижения целей DO - 278A стандарт. Оба из этих стандартов DO-330 ссылки как средние значения, чтобы квалифицировать программные инструменты. Чтобы достигнуть кредита на использование инструмента в сертификации об авиационной системе или одобрении земли - или основанной на пробеле системе, необходимо квалифицировать тот инструмент, если вывод инструмента не проверяется. Продукт DO Qualification Kit обеспечивает ресурсы для квалификации инструментов верификации программного обеспечения MathWorks®. Пользователь инструмента (не производитель инструмента) ответственен за проверку.

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

Для получения информации о критериях, используемых, чтобы определить, должен ли инструмент быть квалифицирован, и определение уровня квалификации инструмента, смотрите раздел “Requirement for Qualification” Плана квалификации инструмента для соответствующего инструмента верификации MathWorks.

Какой кредит сертификации может быть достигнут?

Для списка областей DO - 178C стандарт, для которого некоторый кредит сертификации (соответствуют или заменяют DO - 178C цели), может быть достигнут путем квалификации инструментов верификации MathWorks, смотрите раздел “Certification Credit” Плана квалификации инструмента для соответствующего инструмента. Сумма кредита, который может быть достигнут, зависит от используемых процессов разработки и как инструменты верификации применяются в рамках процессов.