Мне было интересно, если кто-нибудь знает, какая операционная система используется в коммерческих самолетах (скажем, Boeing или Airbus). Кроме того, что является (предпочтительным) языком программирования в реальном времени? Я слышал, что Ада используется в Боинге, поэтому мой вопрос - почему Ада?...