Просто инженер АиТ

Думаю, есть ещё один вариант построения ПО. ПО построено по принципу интерпретатора команд, так например, построено отчасти ПО Excel, браузеры.
Т.е. есть длинный набор инструкций создаваемый по топологии станции (думаю можно записать в формате xml фала, есть возможность создания топологии типа дерева (топология станции в простейшем случае - это два сросшихся ветвями дерева)). Каждая инструкция записана на каком-то псевдо языке программирования ЭЦ. Процессор считывает инструкцию, проверяет её достоверность по определенному алгоритму, а затем её выполняет. Такой подход от части облегчает доказательство на безопасность.

__________________
Не важна реальность, важно как мы к ней относимся!