Розробник бортового програмного забезпечення (Flight Software)

Что предстоит делать

<p>Вы станете основой команды разработки бортового программного обеспечения (Flight Software), ответственным за создание flight-critical кода (DAL A/B по DO-178C). Ваша роль — разработка ядра безопасности системы: контуров автоматического управления, систем обработки критических отказов и драйверов для высоконадёжных аппаратных узлов. </p><p><b>Ключевые обязанности и задачи: </b></p><p>1. Разработка Flight-Critical кода и сенсорная фузия (Ada/SPARK): </p><ul><li>Написание детерминированного кода для контуров управления (PID-регуляторы, комплементарные фильтры, фильтры Калмана) на языке Ada. </li><li>Математическое моделирование и реализация вычислений пространственной ориентации объекта (линейная алгебра, кватернионы) с использованием фиксированной точки (fixed-point) или строго типизированной плавающей точки. </li><li>Обработка и сенсорная фузия данных с критической бортовой периферии: IMU, GPS, барометров, магнитометров. </li><li>Разработка логики изоляции и обработки критических аппаратных отказов (Fail-Safe / Fail-Operational режимы). </li></ul><p><b>2. Формальная верификация и контрактное программирование (SPARK): </b></p><ul><li>Применение SPARK для формального доказательства корректности кода. </li><li>Проектирование архитектуры по принципам контрактного программирования: описание пред- и постусловий (pre/postconditions), а также инвариантов типов (type invariants). </li><li>Математическое доказательство отсутствия ошибок времени выполнения (Division by zero, Buffer Overflow, Array Index out of bounds) с помощью статического анализатора GNATprove. </li></ul><p><b>3. Архитектура реального времени и ограниченные профили рантайма: </b></p><ul><li>Работа с детерминированными профилями рантайма (в частности Ravenscar или light-tasking). </li><li>Настройка и оптимизация планировщиков задач, глубокое понимание того, почему ограничения динамической памяти и сложности тасок необходимы для предсказуемого анализа планировщика (WCET / worst-case execution time). </li></ul><p><b>4. Низкоуровневая разработка и инструментарий (Toolchain): </b></p><ul><li>Разработка низкоуровневых драйверов для аппаратных узлов через интерфейсы SPI, I2C, UART, CAN / CAN FD с использованием средств спецификации представления данных в Ada (Representation clauses) для точного маппинга регистров.</li><li>Работа с экосистемой: компилятор GNAT (arm-eabi), менеджер пакетов Alire (gnat_arm_elf), система сборки gprbuild и использование/адаптация компонентов Ada Drivers Library. </li></ul><p><b>Профиль идеального кандидата: </b></p><ul><li>Опыт разработки на Ada/SPARK от 2 лет ИЛИ сильный C/C++ Embedded инженер (3+ года) с выраженным формально-математическим мышлением, чистым кодом (пониманием MISRA) и экспертной готовностью полностью перейти на Ada/SPARK. </li><li>Глубокое понимание встраиваемых систем: архитектура ARM Cortex-M/R, работа с регистрами, DMA, прерываниями и таймерами. </li><li>Знание высшей математики (особенно матричного исчисления и теории управления). ● Будет весомым плюсом: Знакомство со стандартами функциональной безопасности и процессами сертификации (DO-178C, EN 50128 или ISO 26262), опыт прохождения аудитов ПО.</li></ul> <div> <a href="https://jobs.dou.ua/companies/fop-lavriv/vacancies/372827/#reply-btn-id">Откликнуться на вакансию</a> </div>