[19:41:55] <valexey> В России создают операционную систему для самолетов: https://iz.ru/649843/vladimir-zykov/v-rossii-sozdaiut-novuiu-operatcionnuiu-sistemu-dlia-samoletov

как думаете, на каком ЯП оно будет писано? ;-)
[19:59:39] <valexey> ладно, можно не гадать. вот тут всё написано: http://osday.ru/presentations/solodelov/solodelov.pdf
[20:00:24] <valexey> http://osday.ru/solodelov.html
[20:04:09] <valexey> "Разработка ведется на языке C в соответствии со стандартом на кодирование, разработанным для данного проекта (как требует DO-178C)"

чтобы безопасненько!
[20:04:12] <valexey> и надежно