ПО по аэрокосмическим стандартам

Умеем вести бортовое ПО так, как этого требует авиационная сертификация: КТ-178С / DO-178C, целевой уровень A. Трассируемость от требований высокого уровня через проектную документацию и требования низкого уровня до кода и конфигурации каналов; матрица пересобирается при любом изменении, иначе она врёт. Аудит кода на запрещённые конструкции с привязкой к пунктам стандарта, покрытие MC/DC, метрики Ada, проверка лексики документов регулятора, сопоставление норм смежных стандартов. Инструменты анализа у нас квалифицированы как TQL-5: их вывод — верхняя граница проблем, а не сертификационный кредит, каждая находка подписывается инженером верификации. Работаем в действующем проекте сертификации бортового вычислителя; готовим пакеты для регулятора и ответы на его замечания.

Написать нам Опишите задачу в двух строках — ответим по существу.