МЦСТ-R500 - вполне себе нормальный процессор для использования в качестве ядра БЦВМ
http://ru.wikipedia.org/wiki/МЦСТ-R500

По поводу языка - он должен быть гибким и проверенным временем, должен продоставлять возможность писать надежное ПО для ОСРВ.
Компилятор д.б. открыт.

То же касается ОС - она д.б. ОСРВ с открытым исходным кодом.

Удовлетворяет ли этому С#+Windows?

R-500 подразумевает, что будет использоваться ОСРВ2000 и C/C++.

Собственно очень даже неплохо.