Рассматривается проблема самовосстановления программных средств. Предлагается формальная модель, описывающая работу программного средства как последовательность событий. Данная модель позволяет применть известные методы классификации для автоматического определения класса возникающих ошибок.