Data/hora: 15/06/2024 04:55:05

Biblioteca(s): 	Embrapa Agricultura Digital.	
Data corrente: 	18/09/1996	
Data da última atualização: 	19/12/2007	
Autoria: 	LOUREIRO, A. A. F.; CARVALHO, O. S. F. de.	
Título: 	On the design of communication protocols that support coordination loss.	
Ano de publicação: 	1996	
Fonte/Imprenta: 	In: SIMPÓSIO BRASILEIRO DE REDES DE COMPUTADORES, 14., 1996, Fortaleza. Anais... Fortaleza: Sociedade Brasileira de Computação; LARC, 1996.	
Páginas: 	p.553-573.	
Idioma: 	Inglês	
Notas: 	Editado por Mauro Oliveira.	
Conteúdo: 	In protocol conformance testing, there is an important class of errors, namely coordination loss that cannot be anticipated because some source error is external to both the tester and the implementation under test (IUT). Furthermore, it is not possible to simulate their ocurrence exhaustively in the test environment. Therefore they are very difficult to catch in the testing phase. In this paper we propose using self-stabilization as a design principle to overcome this testing problem. This will improve the reliability of protocol implementation derived from self-stabilizing protocol specifications. We present a novel algorithm and the corresponding design principles to design self-stabilizing protocols, give an example of a self-stabilizing protocol, and define two new relations based on an environment that exihibits coordination loss.	
Categoria do assunto: 	--	
Registro original: 	Embrapa Agricultura Digital (CNPTIA)	
Exemplares: 	CNPTIA - (4204-1) - ADD - PL - -- - 004.6 - SIM - 1996.00005 - DIS