В настоящее время предложено множество подходов, которые призваны обеспечить надежность программного обеспечения (ПО), среди которых и различные технологии, и программные средства, и методологии разработки. Использование этих средств порой требует значительных ресурсов, однако, в связи с тем, что данные технологии зачастую не связаны друг с другом и ме жду ними не существует единых критериев определения надежности, не представляется возможным ответить на вопрос, становится ли программное обеспечение надежнее от применения этих технологий.
Поскольку повышение надежности ПО является актуальной задачей, а мультиверсионность, как метод повышения надежности ПО является перспективным и достаточно эффективным методом, автором предложен способ применения методов сетевого анализа (ГЕРТ сетей) для получения вероятностно-временных характеристик функционирования системы построенной на мультиверси-онной архитектуре. Методы сетевого анализа позволяют легко построить модель системы и составить процедуры для определения её качественных характеристик. Любой комплекс программ и все ПО как совокупность всех комплексов программ является сложной системой и, в соответствии с этим, может быть подвергнут декомпозиции и представлен в виде множества узлов и дуг или просто сети, из чего следует, что любое мультиверси-онное ПО может быть представлено в виде сети.
Автором предложена методика представления мультиверсионного ПО в виде ГЕРТ-сети, а также алгоритм получения вероятностно-временных характеристик функционирования системы. Кроме того, впервые предложены базовые модели ГЕРТ-сетей, описывающие различные способы применения методологии мультиверсий для обеспечения отказоустойчивости программного обеспечения.