Synchronizing Device Discovery on Loss of Update Messages in the Pervasive Middleware Palcom
(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:
https://lup.lub.lu.se/record/bc490977-0407-4d46-9169-219c9c98b354
- author
- Ergawy, Amr LU and Magnusson, Boris LU
- organization
- publishing date
- 2016
- 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
- conference location
- Montreal, Canada
- conference dates
- 2016-08-15 - 2016-08-18
- external identifiers
-
- scopus:84985905566
- wos:000387293800044
- 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
- 2022-01-30 05:46:48
@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}}, keywords = {{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}}, doi = {{10.1016/j.procs.2016.08.052}}, volume = {{94}}, year = {{2016}}, }