Обеспечение бортового ПО (DO-178C) — сертификация

DO-178C (ED-12C в Европе) — это общепринятое руководство по сертификации программного обеспечения бортовых систем и оборудования. Авиационные власти (FAA, EASA) оценивают качество программного обеспечения по этому документу во время сертификации типа. В его центре находится уровень программного обеспечения (DAL — Design Assurance Level): пять уровней от A до E, определяемых влиянием сбоя программного обеспечения на безопасность полета, что напрямую меняет количество целей, которые должны быть удовлетворены.

• Разработчики программного обеспечения для авионики
• Производители систем управления полетом, двигателем и навигационными системами
• Разработчики бортовых систем и программного обеспечения для развлечений в полете.
• Разработчики программного обеспечения беспилотных авиационных систем
• Фирмы, выступающие поставщиками аэрокосмического программного обеспечения

Этот документ не является непосредственно юридическим текстом; он признан авиационными властями в качестве приемлемого средства соблюдения требований. Это практически обязательно для программного обеспечения в рамках сертификации летной годности. Результатом не является «сертификат DO-178C»: программное обеспечение оценивается как часть сертификации системы, к которой оно принадлежит, и свидетельство соответствия представляется в орган по сертификации.

• Определение уровня программного обеспечения (DAL AE) на основе оценки безопасности системы.
• Процесс планирования: PSAC, план разработки программного обеспечения, план проверки, план управления конфигурацией, план обеспечения качества.
• Процессы разработки программного обеспечения: определение требований, проектирование, кодирование, интеграция.
• Процесс проверки: тестирование на основе требований, низкоуровневое тестирование, интеграционное тестирование.
• Структурный анализ покрытия: покрытие операторов для DAL C, покрытие решений для DAL B, MC/DC для DAL A
• Прослеживаемость: от системных требований до кода и тестовых примеров.
• Управление конфигурациями и отчеты о проблемах
• Обеспечение качества программного обеспечения и проверка соответствия (аудит SOI)
• Квалификация средств разработки программного обеспечения (DO-330)
• Дополнительные технологии: разработка на основе моделей (DO-331), объектно-ориентированная технология (DO-332), формальные методы (DO-333).
• Связь по сертификации и отчет о достижениях в области программного обеспечения (SAS)

1. 1Применение и описание продуктаОпределяется семейство продукции, модельный ряд, технические характеристики и целевой рынок. На этом этапе становятся ясны применимый стандарт и путь сертификации.
2. 2Обзор технических файловПроверяются проектная документация, спецификации, паспорта ответственных компонентов и инструкции по применению.
3. 3Тестирование продуктаПроводятся испытания, требуемые соответствующим стандартом. Протокол испытаний является фундаментальной основой для принятия решения о сертификации.
4. 4Заводской аудитЕсли этого требует схема, непрерывность производства и заводской производственный контроль (ЗПК) проверяются на месте.
5. 5Выдача сертификата и маркировкаПосле подтверждения соответствия выдается сертификат; применяются правила маркировки продукции и упаковки.
6. 6Последующие аудитыВ зависимости от схемы проводятся периодические заводские проверки и/или последующие испытания образцов, взятых с рынка.

Срок действия зависит от схемы: некоторые сертификаты на продукцию являются бессрочными и основаны на периодических заводских проверках, тогда как некоторые схемы (например, маркировка национального рынка) требуют ежегодного продления или продления каждой партии. Каждое изменение конструкции продукта требует проверки сертификата.

• Список моделей и вариантов продукции
• Технические чертежи, схемы и спецификация материалов
• Сертификаты на критические компоненты
• Инструкция по применению и образец этикетки
• Существующие протоколы испытаний, если таковые имеются.
• Подробности о производстве
• PSAC — План сертификации программного обеспечения
• Планы разработки, проверки, управления конфигурацией и обеспечения качества программного обеспечения.
• Требования к программному обеспечению и описание конструкции
• Матрицы прослеживаемости
• Тестовые случаи, процедуры и результаты
• Отчеты по анализу структурного покрытия
• Отчеты о проблемах и индекс конфигурации
• SAS — Обзор достижений в области программного обеспечения

Фиксированной прейскурантной цены нет; стоимость рассчитывается на основе следующих переменных и предоставляется в письменном виде в предложении.

• Количество моделей и вариантов в семействе продуктов
• Объем испытаний, требуемый применимым стандартом
• Требуется ли заводской аудит
• Количество целевых рынков и требует ли каждый из них отдельного тестирования.
• Могут ли быть приняты существующие протоколы испытаний

Сертификация продукции осуществляется по стандарту ISO/IEC 17065; Испытания, составляющие основу сертификации, проводятся в лабораториях, имеющих аккредитацию ISO/IEC 17025. Эти две области являются отдельными. Признание между органами по аккредитации обеспечивается соглашениями IAF и ILAC.

Область, в которой может быть предложена эта схема, зависит от вашей продукции и деятельности; подтверждается в письменном виде на этапе предложения.

• NADCAPСпециальная аккредитация процесса
• DO-254Гарантия аэрокосмического оборудования
• DO-160Квалификация условий окружающей среды
• AS9100Управление качеством в аэрокосмической отрасли
• AS9110Управление качеством обслуживания аэрокосмической отрасли
• AS9120Управление качеством дистрибуции в аэрокосмической отрасли
• EN 9100Управление качеством в аэрокосмической отрасли
• EN 9110Управление качеством обслуживания аэрокосмической отрасли