Программное обеспечение, являясь неотъемлемой составляющей коммерческих и специальных систем управления и обработки информации, проникает во многие области современной жизни, но, несмотря на столь широкое распространение, программное обеспечение едва когда-либо было совершенно. На сегодняшний день разработаны различные методы проектирования отказоустойчивого программного обеспечения. Среди них одним из наиболее перспективных является метод мультиверсионного проектирования.
Однако, учитывая сложность мультиверсион-ных систем обработки информации, множество параметров системы, которые могут изменяется во времени, прогнозировать время завершения задачи, а также надежность системы, основываясь на статических или детерминированных моделях систем или программ, достаточно сложно, а в некоторых случаях просто невозможно. Это обстоятельство представляется научной проблемой, выражающейся в необходимости поиска новых подходов к анализу надежности, а также временных характеристик работы программного обеспечения построенного на основе мультиверсионной архитектуры.
Одним из таких подходов является графоаналитический метод, основанный на использовании ГЕРТ сетей. Основное достоинство этого подхода заключается в том, что он может быть успешно применен к решению практически любой задачи, и дает возможность составить формальные процедуры для определения качественных характеристик системы.
Таким образом, графоаналитический метод является перспективным, так как позволяет аналитически оценить качественные характеристики мультиверсионного ПО любой сложности без построения громоздких имитационных сред и комплексов программ. Кроме того, расчеты показали, что с увеличением числа модулей надежность системы растет, что подтверждает перспективность использования мультиверсионного подхода для повышения надежности ПО.
Работа представлена на Международную научную конференцию «Инновационные технологии в высшем и профессиональном образовании», 8-15 августа 2009г. Испания (Коста дель Азаар). Поступила в редакцию 27.07.09.