Система управления «Бурана» (к сожалению, не нашел в лучшем качестве)
Тогда уже все было: репликации, «high availability»-практики, верификация программ различными методами, интеллектуальные иерархические СУ, использовать Prolog...
Эх, если б мне можно было выбирать: говнякать на сишке или писать ПО для «Буран» :3