An ongoing project of the Highly Dependable Systems Research Programme (PHDS) at the University of the Witwatersrand is the development of a dependable distributed system and its application in supporting Internet services. The current research related to this project includes the design, specification, verification and implementation of a virtual service redirector for critical internet applications. This paper summarises this system and related projects.