Sökning: onr:"swepub:oai:lup.lub.lu.se:bc490977-0407-4d46-9169-219c9c98b354" >
Synchronizing Devic...
Synchronizing Device Discovery on Loss of Update Messages in the Pervasive Middleware Palcom
-
- Ergawy, Amr (författare)
- Lund University,Lunds universitet,Institutionen för datavetenskap,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Computer Science,Departments at LTH,Faculty of Engineering, LTH
-
- Magnusson, Boris (författare)
- Lund University,Lunds universitet,Institutionen för datavetenskap,Institutioner vid LTH,Lunds Tekniska Högskola,Department of Computer Science,Departments at LTH,Faculty of Engineering, LTH
-
(creator_code:org_t)
- Elsevier BV, 2016
- 2016
- Engelska 6 s.
-
Ingår i: Procedia Computer Science. - : Elsevier BV. - 1877-0509. ; 94, s. 347-352
- Relaterad länk:
-
http://dx.doi.org/10... (free)
-
visa fler...
-
https://doi.org/10.1...
-
https://lup.lub.lu.s...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Kommunikationssystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Communication Systems (hsv//eng)
Nyckelord
- pervasive middleware
- device discovery
- synchronization
- model checking
Publikations- och innehållstyp
- art (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas