Registro Completo |
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: |
-- |
Marc: |
LEADER 01400naa a2200157 a 4500 001 1003559 005 2007-12-19 008 1996 bl uuuu u00u1 u #d 100 1 $aLOUREIRO, A. A. F. 245 $aOn the design of communication protocols that support coordination loss. 260 $c1996 300 $ap.553-573. 500 $aEditado por Mauro Oliveira. 520 $aIn 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. 700 1 $aCARVALHO, O. S. F. de 773 $tIn: SIMPÓSIO BRASILEIRO DE REDES DE COMPUTADORES, 14., 1996, Fortaleza. Anais... Fortaleza: Sociedade Brasileira de Computação; LARC, 1996.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|