WSEAS Transactions on Computers
Print ISSN: 1109-2750, E-ISSN: 2224-2872
Volume 14, 2017
Models of M2M Device Management
Authors: ,
Abstract: Machine-to-Machine (M2M) stands for networking of machines and devices that gather information from their environment and share it over the communication network. Devices must be set up and configured correctly, and they need to use available network bearers efficiently. The growth of connected devices makes the device management a challenging task. Reduction in M2M device deployment time and operational costs may be achieved by automation of management processes. In this paper, we propose context-ware models for connectivity management and study aspects of autonomous behaviour in the context of bearer selection procedure based on policies. Connectivity management models are formally described and verified using the concept of weak bi-simulation. The autonomous behaviour which includes monitoring of device connectivity parameters and policy-based bearer selection is modelled and formalized by temporal logic. The validation process is based on a suit of unit tests that allow comparing the expected message exchange traces to the observed ones.
Search Articles
Keywords: Machine-to-Machine communications, Connectivity management, Finite state machines, Formal verification, Weak bi-simulation, Autonomous agent, REST
Pages: 1-13
WSEAS Transactions on Computers, ISSN / E-ISSN: 1109-2750 / 2224-2872, Volume 14, 2017, Art. #1