У роботі розроблено методи для автоматизованої побудови та аналізу математичних моделей надійності відновлюваних багатотермінальних систем із урахуванням перерозподілу навантаження. Набули подальшого розвитку методи автоматизованої побудови розщеплених однорідних марковських моделей та імітаційне моделювання за методом Монте-Карло відновлюваних багатотермінальних систем із урахуванням перерозподілу навантаження.
Для перевірки достовірності розроблених методів проаналізовано моделі однотермінальних одинарних об'єктів, нерезервованих систем та систем із різними типами структурного резервування, а також багатотермінальних систем із розгалуженою структурою.