Ubiquitous sensor network simulation and emulation environments: A survey

M Sharif, A Sadeghi-Niaraki - Journal of Network and Computer …, 2017 - Elsevier
Recent human effort has been directed at expanding pervasive smart environments. For this,
ubiquitous computing technology is introduced to provide all users with any service …

SENSORIA: A new simulation platform for wireless sensor networks

JN Al-Karaki, GA Al-Mashaqbeh - … International conference on …, 2007 - ieeexplore.ieee.org
This paper considers the simulation of Wireless Sensor Networks (WSNs) using new
approach. We present Sensoria, a fully fledged simulator for WSNs that has considerable …

One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches

AC Viana, S Maag, F Zaidi - ACM Computing Surveys (CSUR), 2011 - dl.acm.org
Wireless self-organizing networks (WSONs) have attracted considerable attention from the
network research community; however, the key for their success is the rigorous validation of …

A survey on sensor webs simulation tools

M Mekni, B Moulin - 2008 Second International Conference on …, 2008 - ieeexplore.ieee.org
Currently, few real sensor Web applications are being explored and some of them are yet to
come. Meanwhile, developing and deploying prototypes in order to analyze the sensor Web …

Building distributed sensor network applications using BIP

A Lekidis, P Bourgos, S Djoko-Djoko… - 2015 IEEE Sensors …, 2015 - ieeexplore.ieee.org
The exponential increase in the demands for the deployment of large-scale sensor
networks, makes the efficient development of functional applications necessary …

Time refinement in a functional synchronous language

L Mandel, C Pasteur, M Pouzet - Proceedings of the 15th Symposium on …, 2013 - dl.acm.org
Concurrent and reactive systems often exhibit multiple time scales. For instance, in a
discrete simulation, the scale at which agents communicate might be very different from the …

Discrete event modeling and simulation of wireless sensor network performance

T Antoine-Santoni, JF Santucci, E De Gentili… - …, 2008 - journals.sagepub.com
The wireless distributed microsensor networks have profited from recent technological
advances and it seems essential to precisely understand these systems. Modeling and …

Integrated modeling and simulation framework for wireless sensor networks

B Wang, JS Baras - 2012 IEEE 21st International Workshop on …, 2012 - ieeexplore.ieee.org
Existing ad hoc system design methods for Wireless Sensor Networks (WSNs) suffer from
lack of reusability. In addition, the interactions between the continuous-time physical …

42: Programmable models of computation for a component-based approach to heterogeneous embedded systems

F Maraninchi, T Bouhadiba - … of the 6th international conference on …, 2007 - dl.acm.org
Every notion of a component for the development of embedded systems has to take
heterogeneity into account: components may be hardware or software or OS, synchronous …

A4WSN: an architecture-driven modelling platform for analysing and developing WSNs

I Malavolta, L Mostarda, H Muccini, E Ever… - Software & Systems …, 2019 - Springer
This paper proposes A4WSN, an architecture-driven modelling platform for the development
and the analysis of wireless sensor networks (WSNs). A WSN consists of spatially distributed …