Paper Info
Title
Formal verification of connectivity management models in M2M communications
Abstract
The increasing number of connected devices with extremely diverse requirements in terms of data exchange rate, form factor, computing, or communication capabilities is a real challenge to device management. The Lightweight M2M protocol simplifies the management of constrained devices and reduces the cost of cloud-device connections. In the paper, behavioral models of LWM2M server and client for connectivity management are proposed. The models are formally described and it is proved that both models are synchronized using the concept of weak bisimulation.
Year
DOI
Venue
2016
10.1109/BlackSeaCom.2016.7901580
2016 IEEE International Black Sea Conference on Communications and Networking (BlackSeaCom)
Keywords
Field
DocType
Device management,Lightweight M2M,Finite state machine,Formal description,Bisimulation relationship
Synchronization,Data exchange,Computer science,Server,Computer network,Bisimulation,Formal verification,Distributed computing
Conference
ISBN
Citations 
PageRank 
978-1-5090-1926-7
0
0.34
References 
Authors
3
3
Name
Order
Citations
PageRank
Anastas Nikolov101.35
Evelina Pencheva22514.10
Ivaylo Atanasov32513.43