Разумеется язык ADA не умер и в обозримом будущем ни в коем случае не умрет - это на данный момент обязательный язык программирования для пентагоновских заказов. Посему от живет, развивается, совершенствуется. Наработано немерянное количество ПО. В том мире созданном по определенным правилам игры писанным под него, на платформах созданных под него он прекрасно живет. Это совершенно объективная реальность. Тащить или не тащить его в этот мир, вот в чем вопрос. Если тащить, например, вместо БорлондячегоПаскаля, то это было-бы более, чем правильное решение . Но вот тащить в эмбеддерство - совсем наоборот

А вы про oberon слышали? Еще более "жесткий" вариант паскаля; его апологеты уверяют, что он великолепно подходит для эмбеддерства, причем как раз для задач, критичных к ошибкам ПО.

Естественно

Рано или поздно мы придем к "великолепно подходящим" языкам, типа как в настоящее время используются "великолепно подходящие" (естественно в пределах одной из прадигм программирования ) языки для программирования промышленной автоматики. Эти языки будут предназначены для создания приложений работы в определенных великолепно подходящих средах на великолепно подходящих операционных системах... Все это будет круться на почти ничем не ограничивающем возможности железе. Все будет просто и идеально. Только пока об отдаленом приближении к идеалам в этом смысле слова можно говорить только при программировании, например "под Windows/Линукс/Чего-то_там_Заказное_Армейское".