Astra Trainer
Индустрии будущего

Сертифицированный софт — другое ремесло

Aleksandr Mikhailov
Founder, Astra Trainer
Обновлено
8 мин чтения

Авионика — это место, где аэрокосмическая отрасль встречается с софтом, и самый наглядный в этом разделе пример области, где смежный навык переносится не так легко, как кажется.

Не обычный софт с дополнительными документами

Распространённое допущение — что сертифицированный бортовой софт это обычная разработка плюс нагрузка по соответствию. Это допущение приводит к провальному найму и провальным программам.

Четыре вещи, которые отличаются фундаментально.

Каждая строка ведёт к требованию. Код существует, потому что этого потребовало требование, и эта связь документируется и проверяется. Код, который делает что-то разумное, но не прослеживается к требованию, — это замечание при аудите.

Покрытие верификацией должно быть доказано. Нужно показать, что тестирование охватывает код до заданного уровня структурного покрытия, который растёт с уровнем гарантии. Это формирует стиль написания кода, потому что сложные конструкции дорого покрывать тестами.

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

Сами инструменты требуют квалификации. Если результату инструмента доверяют без независимой проверки, инструмент нужно квалифицировать. Компиляторы, генераторы тестов и инструменты анализа — всё это сюда попадает.

Опытный коммерческий разработчик автоматически не становится опытным инженером авионики. Ограничения переворачивают несколько привычек, которые делают человека хорошим в обычной разработке.

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

Что входит в направление

Область: бортовая электроника, GPS, управление полётом, связь и бортовые системы.

Четыре блока.

Системы управления полётом. Цепочка от ввода пилота или автопилота до движения органа управления, включая архитектуры дистанционного управления и их резервирование.

Навигационные системы. Спутниковая навигация, инерциальные системы, воздушные данные и их совместное слияние.

Связь и наблюдение. Радиосвязь, каналы передачи данных, ответчики и системы, позволяющие самолётам быть видимыми и координироваться.

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

Почему требования настолько строгие

Стоит объяснить, а не просто заявить, потому что понимание этого делает инженера хорошим специалистом, а не просто исполнителем требований.

Требования к гарантии определяются тяжестью последствий. Функция, отказ которой был бы катастрофическим, несёт самые тяжёлые обязательства; та, чей отказ просто неудобен, — намного меньше.

Это даёт три практических следствия.

Одна и та же функция может нести разные обязательства. В зависимости от самолёта, архитектуры и того, что ещё осталось бы доступно при её отказе. Уровень гарантии выводят из оценки безопасности, а не из названия функции.

Архитектура может снизить нагрузку. Проектирование так, чтобы отказ обнаруживался и обрабатывался независимым путём, может снизить требуемый уровень гарантии компонента, — это настоящий инженерный компромисс, а не бумажное упражнение.

Изменения дорого стоят. Изменение сертифицированного софта означает повторную верификацию затронутых частей и восстановление доказательств, поэтому кажущиеся мелкими изменения несут непропорциональные затраты, и именно поэтому софт замораживают гораздо раньше, чем ожидают коммерческие команды.

Где это находится в домене

Авионика, навигация и аэрокосмические системы — пятое из девяти направлений в домене космоса, аэрокосмической отрасли и новой мобильности Astra Trainer, соседствует с аэрокосмической инженерией и авиационными операциями и связано с доменом робототехники, где системы управления закрывают лежащую в основе теорию управления.

Оно также сочетается с полупроводниками и электроникой для аппаратной части и с ИИ, данными и вычислениями для практики разработки софта, хотя партнёрам стоит учитывать, что переход от коммерческого к сертифицированному софту — это суть данного направления, а не деталь. Все девять направлений — здесь.

Фактическое наблюдение с реальными инженерными последствиями.

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

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

Три следствия для инженерии и кадров.

Альтернативное и дополняющее позиционирование — активная область. Инерциальная навигация, навигация по рельефу и визуальным ориентирам, а также альтернативные источники времени — всё это получает внимание именно из-за этой зависимости.

Устойчивость — требование проектирования, а не опция. Системы, предполагающие непрерывную доступность спутниковой навигации, делают допущение, которое выполняется не всегда.

Набор навыков узкий и растущий. Инженеров, понимающих одновременно обработку сигналов спутниковой навигации и инерциальные системы, мало, и они нужны далеко за пределами авиации.

Это изложено как известное инженерное соображение. Это не прогноз о каком-либо конкретном регионе или событии.

Роли по именам

Инженеры-разработчики авионики. Сертифицированный бортовой софт. Основной дефицит.

Инженеры по аппаратной части авионики. Платы, интерфейсы, экологическая квалификация.

Инженеры по системной безопасности. Оценка безопасности, анализ отказов и распределение уровней гарантии. Центральная роль и дефицитная.

Инженеры по верификации и валидации. Тестирование на основе требований и анализ покрытия. Самая большая группа в сертифицированной программе.

Инженеры по навигационным системам. Спутниковая навигация, инерциальные системы и слияние датчиков.

Инженеры по интеграции и испытаниям. Стенды, «железные птицы» и приборостроение лётных испытаний.

Специалисты по сертификации софта и сложного электронного оборудования.

Техники по обслуживанию авионики. Лицензированы, работают в эксплуатации, отдельный и устойчивый дефицит.

Кого можно обучить

Инженеры из других сертифицированных по безопасности доменов. Железнодорожная сигнализация, приборостроение и управление в атомной энергетике, медицинские изделия, функциональная безопасность в автопроме. Они уже принимают, что доказательства — часть продукта, а это самая сложная для привития установка, им нужна только специфическая для авиации рамка.

Инженеры встраиваемого ПО. Из промышленного или автомобильного бэкграунда, уже привыкшие к ограниченным, детерминированным средам. Более короткий шаг, чем от веб- или прикладной разработки.

Инженеры-испытатели. Переходят в верификацию — самое большое требование в любой сертифицированной программе и самая доступная точка входа.

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

Инженеры-электронщики. Переходят в аппаратную часть и интеграцию.

Военный персонал по авионике. Приходит с уже встроенной культурой систем и лётной годности.

Сертификация и лицензирование — это право, а не процедура. Бортовые системы одобряются через регуляторные процессы, а одобрение конструкторской организации, зачёт по сертификации и допуск к лётной годности держат одобренные организации и квалифицированные подписанты. Обслуживание авионики требует лицензии с соответствующими допусками. Авиационные технологии также подпадают под экспортный контроль в большинстве юрисдикций. Обучение формирует инженерное понимание и поддерживает людей, идущих к этим квалификациям. Оно не даёт одобрения, зачёта по сертификации, лицензии или полномочий выпускать что-либо в эксплуатацию.

Что важно вынести

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

Уровень гарантии следует за тяжестью последствий, поэтому выбор архитектуры может по-настоящему снизить нагрузку, что делает оценку безопасности инженерной деятельностью, а не этапом согласования.

Изменения дороги, потому что доказательства нужно восстанавливать заново, — именно поэтому софт замораживают раньше, чем ожидают коммерческие команды.

Спутниковая навигация — общая зависимость далеко за пределами авиации, а устойчивое позиционирование — растущий и узкий набор навыков.

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

Часто задаваемые вопросы
Сертифицированный софт авионики — это просто софт с бумажной нагрузкой?

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

Почему требования к гарантии различаются?

Потому что они следуют за тяжестью последствий отказа, определяемой оценкой безопасности. Одна и та же функция может нести очень разные обязательства в зависимости от архитектуры и того, что осталось бы доступно при её отказе.

Почему менять сертифицированный софт так дорого?

Потому что затронутые доказательства верификации нужно восстанавливать заново. Именно поэтому софт замораживают в аэрокосмической программе намного раньше, чем ожидают коммерческие команды.

Кто переходит в роли по авионике?

Инженеры из железнодорожной сигнализации, атомного приборостроения, медицинских изделий или функциональной безопасности автопрома, потому что они уже принимают доказательства как часть продукта. Инженеры встраиваемого ПО делают более короткий шаг, чем прикладные разработчики.

Где это находится в домене?

Пятое из девяти направлений в домене космоса, аэрокосмической отрасли и новой мобильности Astra Trainer, связано с системами управления в робототехнике и с электроникой в домене чипов. Смотрите их здесь.

Доказательства — часть продукта
Девять направлений в космосе, аэрокосмической отрасли и новой мобильности, включая авионику, навигацию и аэрокосмические системы наряду с аэрокосмической инженерией и авиационными операциями. Формируется вместе с вашими инженерами.