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