Целью диссертационной работы является создание теоретических основ и программных средств автоматизации построения численных и имитационных моделей на базе использования единых математических схем описания функционирования вычислительных систем (ВС), т.е. марковских процессов с дискретным множеством состояний и непрерывным временем для численных моделей и кусочно-линейных агрегатов для имитационных моделей, а также создание новых методов моделирования ВС с целью расширения класса моделируемых систем и режимов их функционирования.