The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

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

Author

Summary, in English

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.

Publishing year

2016

Language

English

Pages

347-352

Publication/Series

Procedia Computer Science

Volume

94

Document type

Journal article

Publisher

Elsevier

Topic

  • Communication Systems

Keywords

  • pervasive middleware
  • device discovery
  • synchronization
  • model checking

Conference name

The 11th International Conference on Future Networks and Communications

Conference date

2016-08-15 - 2016-08-18

Conference place

Montreal, Canada

Status

Published

ISBN/ISSN/Other

  • ISSN: 1877-0509