Как мы верифицированный полетный контроллер для квадрокоптера написали. На Ada

Конечно, это только для такси, для эксплуатации придется получить одобрение авиационных властей.

Как мы верифицированный полетный контроллер для квадрокоптера написали. На Ada

Процесс разработки ПО для авиационной техники определен квалификационными требованиями DO-178C или переведенный на русский КТ-178С. Тестирование ПО это лишь вершина айсберга процесса разработки ПО для авиации.