Advanced

Synchronizing Device Discovery on Loss of Update Messages in the Pervasive Middleware Palcom

Ergawy, Amr LU and Magnusson, Boris LU (2016) The 11th International Conference on Future Networks and Communications In Procedia Computer Science 94. p.347-352
Abstract
PalCom is a pervasive middleware that enables users to combine the services on devices into useful configurations. Interconnected PalCom devices can discover, and keep track of, the existence of each other by exchanging periodic heartbeats within local networks, and once-sent device appearance/disappearance notifications across interconnected networks. This approach has the advantage of eliminating the need to forward periodic heartbeats beyond the boundaries of the local networks of their originator devices. However, when a device appearance/disappearance notification is sent only once over an unreliable channel, there is a possibility of losing that notification. As a result, the device discovery information on PalCom devices will be... (More)
PalCom is a pervasive middleware that enables users to combine the services on devices into useful configurations. Interconnected PalCom devices can discover, and keep track of, the existence of each other by exchanging periodic heartbeats within local networks, and once-sent device appearance/disappearance notifications across interconnected networks. This approach has the advantage of eliminating the need to forward periodic heartbeats beyond the boundaries of the local networks of their originator devices. However, when a device appearance/disappearance notification is sent only once over an unreliable channel, there is a possibility of losing that notification. As a result, the device discovery information on PalCom devices will be out-of-sync. In this paper, we present the design, model-based evaluation, and the implementation status of a solution to this synchronization problem. (Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
keywords
pervasive middleware, device discovery, synchronization, model checking
in
Procedia Computer Science
volume
94
pages
6 pages
publisher
Elsevier
conference name
The 11th International Conference on Future Networks and Communications
external identifiers
  • Scopus:84985905566
ISSN
1877-0509
DOI
10.1016/j.procs.2016.08.052
language
English
LU publication?
yes
id
bc490977-0407-4d46-9169-219c9c98b354
date added to LUP
2016-08-30 12:36:26
date last changed
2017-02-16 09:47:10
@article{bc490977-0407-4d46-9169-219c9c98b354,
  abstract     = {PalCom is a pervasive middleware that enables users to combine the services on devices into useful configurations. Interconnected PalCom devices can discover, and keep track of, the existence of each other by exchanging periodic heartbeats within local networks, and once-sent device appearance/disappearance notifications across interconnected networks. This approach has the advantage of eliminating the need to forward periodic heartbeats beyond the boundaries of the local networks of their originator devices. However, when a device appearance/disappearance notification is sent only once over an unreliable channel, there is a possibility of losing that notification. As a result, the device discovery information on PalCom devices will be out-of-sync. In this paper, we present the design, model-based evaluation, and the implementation status of a solution to this synchronization problem.},
  author       = {Ergawy, Amr and Magnusson, Boris},
  issn         = {1877-0509},
  keyword      = {pervasive middleware,device discovery,synchronization,model checking},
  language     = {eng},
  pages        = {347--352},
  publisher    = {Elsevier},
  series       = {Procedia Computer Science},
  title        = {Synchronizing Device Discovery on Loss of Update Messages in the Pervasive Middleware Palcom},
  url          = {http://dx.doi.org/10.1016/j.procs.2016.08.052},
  volume       = {94},
  year         = {2016},
}