Time Synchronization in Wireless Sensor Networks: A Modeling and Analysis Experience using THEATRE

被引：0

作者：

Nigro, Libero ^{[1
]}

Sciammarella, Paolo F. ^{[1
]}

机构：

[1] Univ Calabria, DIMES Dept Informat Modelling Elect & Syst Sci, I-87036 Arcavacata Di Rende, CS, Italy

来源：

PROCEEDINGS OF THE 2018 IEEE/ACM 22ND INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT) | 2018年

关键词：

Wireless sensor networks; time synchronization; asynchronous messages; actors; statistical model checking; UPPAAL; CLOCK SYNCHRONIZATION; CHECKING;

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper describes a modelling and analysis experience concerning time synchronization in wireless sensor networks (WSN). A fully distributed algorithm is formally modelled and its properties assessed through statistical model checking. The described work is based on the THEATRE framework which rests on actors and asynchronous message passing. THEATRE can be reduced to the UPPAAL Statistical Model Checker (SMC). The paper discusses the chosen time synchronization algorithm, outlines the THEATRE modelling features and its mapping on to UPPAAL SMC, and shows a THEATRE model for the selected time synchronization algorithm enhanced with a new adaptation mechanism for energy saving. The model is then analyzed through simulations.

引用

页码：63 / 70

页数：8

共 17 条

[1] Agha G., 1985, Actors: A Model of Concurrent Computation in Distributed Systems
[2] A Survey of Statistical Model Checking
Agha, Gul
Palmskog, Karl
[J]. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (01):
[3] [Anonymous], 2011, ACTORS, DOI DOI 10.1007/978-0-387-09766-4_125
[4] Cicirelli F., 2018, INT SIMP SIM PROC MO
[5] Control centric framework for model continuity in time-dependent multi-agent systems
Cicirelli, Franco
Nigro, Libero
[J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2016, 28 (12) : 3333 - 3356
[6] Real-time specifications
David, Alexandre
Larsen, Kim G.
Legay, Axel
Nyman, Ulrik
Traonouez, Louis-Marie
Wasowski, Andrzej
[J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (01) : 17 - 45
[7] PTRebeca: Modeling and analysis of distributed and asynchronous systems
Jafari, Ali
Khamespanah, Ehsan
Sirjani, Marjan
Hermanns, Holger
Cimini, Matteo
[J]. SCIENCE OF COMPUTER PROGRAMMING, 2016, 128 : 22 - 50
[8] Statistical model checking of Timed Rebeca models
Jafari, Ali
Khamespanah, Ehsan
Kristinsson, Haukur
Sirjani, Marjan
Magnusson, Brynjar
[J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2016, 45 : 53 - 79
[9] Clock Synchronization in Wireless Sensor Network With Selective Convergence Rate for Event Driven Measurement Applications
Lamonaca, Francesco
Gasparri, Andrea
Garone, Emanuele
Grimaldi, Domenico
[J]. IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT, 2014, 63 (09) : 2279 - 2287
[10] Nigro Christian, 2018, International Journal of Simulation and Process Modelling, V13, P73

← 1 2 →