1. Язык - Оберон. Я на вопрос "За BB или за A2" отвечу, как Чапаев на вопрос "За большевиков или за коммунистов". А Вирт за кого? За Оберон, причем в версии  07/16.
Я про это писал и обсуждал - в зависимости от системы требований нам нужны разные варианты языка и рантайма. Еще приложу картинку с дня Оберона-18
Вложение:
HorScale.png [ 83.45 КБ | Просмотров: 19299 ]

Вариант А - без ОС;
Вариант Б - А2;
Вариант С - Защищенная POSIX-система.

2. Компилятор. Один frontend с системой ограничений (я предлагал ключевое слово USE, но видимо лучше будет RESTRICT, о чем Владимир тоже упоминал) и несколько backend'ов. Один или часть из них - для А2.

7. Про рантаймы и "однопроцессность" А2.
7.1 А2 - однопользовательская система, и средства защиты информации, основанные на разграничении доступа, с последующей сертификацией в соответствующем органе на ней сделать проблематично.
Для этих целей я выберу Вариант С, скажем, Astra Linux и приложение под BlackBox.
7.2 Если нужна простой надежный контроллер с требованиями а-ля 880, без блокировок, без ОС - то вариант А.
7.3 А вот если мне нужно "интеллектуально-управляемое ПО" полностью под моим контролем, не gcc, не linux kernel - тогда А2 однозначно.