Title :
Development of a decentralised virtual service redirector for Internet applications
Author :
Chen, Yinong ; Galpin, Vashti ; Hazelhurst, Scott ; Mateer, Roger ; Mueller, Conrad
Author_Institution :
Dept. of Comput. Sci, Univ. of the Witwatersrand, Johannesburg, South Africa
Abstract :
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
Keywords :
Internet; formal specification; formal verification; Internet; decentralised virtual service redirector; dependable distributed system; implementation; specification; verification; virtual service redirector; Application software; Availability; Computer security; Fault tolerant systems; Hardware; IP networks; Network servers; Software systems; Switches; Web and internet services;
Conference_Titel :
Distributed Computing Systems, 1999. Proceedings. 7th IEEE Workshop on Future Trends of
Conference_Location :
Cape Town
Print_ISBN :
0-7695-0468-X
DOI :
10.1109/FTDCS.1999.818810
