Дается аналитический обзор отечественного и зарубежного программного обеспечения анализа надежности и безопасности. Обсуждаются реализуемые математические модели и методы, интерфейс пользователя и графические редакторы задания марковских и логико-вероятностных моделей, возможность сопряжения с САПР, базами данных, средствами MS Office, библиотеки исходных данных.