Демонстрация полета - предотвращение сбоев бортового программного обеспечения

В этом видео показано, как инструмент статического анализа CodeSonar от компании AdaCore помогает выявлять и устранять программные дефекты в процессе разработки, предотвращая тем самым критические сбои. Роль статического анализа в обеспечении безопасности программного обеспечения: Видео демонстрирует ситуацию, когда из-за программной ошибки происходит полный отказ системы управления полетом воздушного судна. Подобные проблемы — в том числе разыменование нулевого указателя, часто встречающееся в коде на языках C и C++, — можно обнаружить на ранних этапах разработки с помощью CodeSonar.