Расчет показателей безотказности реконфигурируемых ЭС (вероятности безотказной работы и среднего времени наработки до отказа).
Расчет комплексных показателей надежности реконфигурируемых ЭС (коэффициента готовности и коэффициента оперативной готовности).
Расчет показателей надежности ЭС, имеющих различные алгоритмы реконфигурации и/или виды раздельного резервирования (нагруженное, ненагруженное, скользящее и др.).
Расчет показателей надежности ЭС, структурные схемы надежности которых представляют «неприводимые графы», за счет использования специализированного языка описания процессов отказов компонентов РЭС.
Автоматическое создание программной модели по тексту формальной модели РЭС; использование специализированного язык описания процессов отказов РЭС, который содержит типовые заготовки для описания моделей компонентов схем расчета надежности (СРН).
Автоматический анализ синтаксических ошибок в тексте формальной модели; создание протокола работы (отчета) системы, содержащего результаты имитационных экспериментов в виде документа формата *.xls.