Case study: introducing high availability in CSN