Actualización de software en switches con motores supervisores redundantes