DocumentCode
3507354
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
fYear
1999
fDate
1999
Firstpage
235
Lastpage
241
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Distributed Computing Systems, 1999. Proceedings. 7th IEEE Workshop on Future Trends of
Conference_Location
Cape Town
ISSN
1071-0485
Print_ISBN
0-7695-0468-X
Type
conf
DOI
10.1109/FTDCS.1999.818810
Filename
818810
Link To Document