Функциональная избыточность в операционных системах: принципы и применение