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