Introducing Intel Galileo as a development platform of smart sensor: Evolution, opportunities and challenges
L Jie, H Ghayvat… - 2015 IEEE 10th …, 2015 - ieeexplore.ieee.org
An Intel Galileo based wireless smart sensor platform targeted for monitoring, control,
maintenance and automation are presented. Intel Galileo standard processing platform with …
maintenance and automation are presented. Intel Galileo standard processing platform with …
Formal analysis of proactive, distributed routing
As (network) software is such an omnipresent component of contemporary mission-critical
systems, formal analysis is required to provide the necessary certification or at least formal …
systems, formal analysis is required to provide the necessary certification or at least formal …
Simulation of a clustering scheme for vehicular ad hoc networks using a devs-based virtual laboratory environment
Protocol design is usually based on the functional models developed according to the needs
of the system. In Intelligent Transport Systems (ITS), the features studied regarding Vehicular …
of the system. In Intelligent Transport Systems (ITS), the features studied regarding Vehicular …
On formal modeling and validation of wireless sensor network protocols
Formal verification is becoming more and more important in the field of wireless networks
(WSN). The general purpose formal method called Event-B is the latest incarnation of the B …
(WSN). The general purpose formal method called Event-B is the latest incarnation of the B …
A formal model for the chain-branch-leaf clustering scheme in OLSR based vehicular ad hoc networks using Event-B
Abstract Evolution of Intelligent Transportation Systems (ITS) towards connected and
autonomous vehicles requires robust communication protocols with proven or at least …
autonomous vehicles requires robust communication protocols with proven or at least …
Formal Development of a Delay-Tolerant Multicast Protocol for Wireless Sensors
We consider environmental monitoring in a remote area with limited connectivity where
motes can join and leave the network arbitrarily, the topology is dynamic, transmission is …
motes can join and leave the network arbitrarily, the topology is dynamic, transmission is …
Correct-by-construction approach for formal verification of iot architecture
Abstract Nowadays, The Internet of Things (IoT) has shown an increased interest in the
academic literature, while its implementations became involved in almost every aspect of life …
academic literature, while its implementations became involved in almost every aspect of life …
From TiMo to Event-B: Event-driven timed mobility
Mobile distributed systems involve specific aspects such as migration, communication and
concurrency, usually under temporal constraints. In this paper, we deal with formal …
concurrency, usually under temporal constraints. In this paper, we deal with formal …
Experimental exploration of RSSI model for the vehicle intelligent position system
Z Cao, Z Yuan, S Zhang - Journal of Industrial Engineering …, 2015 - upcommons.upc.edu
Purpose: Vehicle intelligent position systems based on Received Signal Strength Indicator
(RSSI) in Wireless Sensor Networks (WSNs) are efficiently utilized. The vehicle's position …
(RSSI) in Wireless Sensor Networks (WSNs) are efficiently utilized. The vehicle's position …
Design of Indoor Temperature Monitoring and Energy Saving Control Technology Based on Wireless Sensor.
Y He, M Tan - International Journal of Online Engineering, 2017 - search.ebscohost.com
Considering the indoor temperature monitoring and energy saving control technology,
based on the traditional low energy adaptive clustering hierarchy (LEACH), a multi-hop …
based on the traditional low energy adaptive clustering hierarchy (LEACH), a multi-hop …