Data/hora: 21/06/2024 00:27:45

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 22/01/1999
Data da última atualização: | 10/03/2011
Autoria: | TORO, M.
Afiliação: | MÁRIA TÖRÖ, KFKI Research Institute for Measurement and Computing Techniques.
Título: | Simulation of IP mobility support: an experiment in mobile protocol specification with SDL.
Ano de publicação: | 1997
Fonte/Imprenta: | In: CAVALLI, A.; SARMA, A. (Ed.). SDL '97: Time for testing: SDL, MSC and trends: proceedings. Amsterdam: Elsevier, 1997.
Páginas: | p. 119-134.
Idioma: | Inglês
Conteúdo: | This paper addresses the question of modeling mobile protocols with SDL using the example of the new Internet standard: IP Mobility Support. A modified channel model is presented that allows the specification of dynamically changing communication path configurations, which is the main difference between the stationary and mobile protocols, and which plays the key role in initiation of mobility handling mechanisms. We show how this new channel concept allows us to detect some problems with the protocol, such as data loss due to the early expiration of the registration life-time in the home agent, which occurs any time when the signal delay increases between the mobile host and its home agent. The suggested channel modification easily fits with other SDL mechanisms. It allows the specification of features characteristic of the mobile environment without increasing the complexity of the specification which would be required by the current SDL.
Palavras-Chave: | Especificação formal; Linguagem SDL; Simulation.
Thesagro: | Simulação.
Thesaurus Nal: | Computer science.
Categoria do assunto: | X Pesquisa, Tecnologia e Engenharia
Registro original: | Embrapa Agricultura Digital (CNPTIA)
Exemplares: | CNPTIA - (7542-1) - ADD - PL - PP - 005.131 - SDL - 1997.00020 - DIS