Исходное сообщение
"Обсуждение проблем применения Linux в авионике" Отправлено Аноним, 03-Июл-23 11:59
В авионике крайне жёсткие стандарты. Чтобы софт можно было сертифицировать для авионики - процесс его разработки с нуля должен быть построен в соответствии с её стандартами и все библиотеки которые этот код использует должны быть тоже сертифицированы для авионики. Составляются требования высокого и низкого уровня на диалекте английского с ограниченным словарём. Эти требования трассируются на код и тесты. Код пишется на C/C++/Ada, причём используются не все фичи этих языков и вводятся определённые ограничения, например на единственную точку выхода из функции для Си. Покрытие тестами запредельное, MC/DC для высшего уровня критичности. Ни одна строчка кода и ни один тест не должны быть написаны без опоры на требования. Причём каждый шаг сопровождается огромным количеством бумажной работы. Если написал код, но налажал с бумажками - то лучше бы вообще ничего не писал. Так что Линукс в авионике использовать не реально.