Исходное сообщение
"Обсуждение проблем применения Linux в авионике" Отправлено Аноним, 02-Июл-23 19:19
>>не должно быть никаких систем с Linux, Windows, MacOS >А собственно почему не должно? Попробуйте аргументировать. Вы можете математически доказать, что они будут делать только то, что от них ожидают? То есть доказать, что код не содержит ошибок и уязвимостей? Конечно нет, поэтому в таких системах должно быть как можно меньше кода. Любая ошибка может стоить жизни сотням людей и принести ущерб в сотни миллионов $. Никакая экономия на программистах не сможет окупить и одну ошибку в коде. Ну и пишут надёжный код не на Си и даже не на Rust, пишут на языке Ada.