Intelligent Control Mechanisms for Vehicular Sensor Networks

2017 ◽  
pp. 407-430
Author(s):  
Sami S. Alwakeel ◽  
Agung B. Prasetijo
Keyword(s):  
Sensor Networks ◽  
Intelligent Control ◽  
Control Mechanisms

A Formal Verification and Validation Approach for Real-Time Databases

2009 ◽  
pp. 3160-3178
Author(s):  
Pedro Fernandes Ribeiro Neto ◽  
Maria Li´gia Barbosa Perkusich ◽  
Hyggo Oliveira de Almeida ◽  
Angelo Perkusich
Keyword(s):  
Sensor Networks ◽  
Formal Verification ◽  
Real Time ◽  
Stock Exchange ◽  
Database Systems ◽  
Multimedia Systems ◽  
Verification And Validation ◽  
Computer Integrated Manufacturing ◽  
Control Mechanisms ◽  
Real Time Database

Real-time database-management systems provide efficient support for applications with data and transactions that have temporal constraints, such as industrial automation, aviation, and sensor networks, among others. Many issues in real-time databases have brought interest to research in this area, such as: concurrence control mechanisms, scheduling policy, and quality of services management. However, considering the complexity of these applications, it is of fundamental importance to conceive formal verification and validation techniques for real-time database systems. This chapter presents a formal verification and validation method for real-time databases. Such a method can be applied to database systems developed for computer integrated manufacturing, stock exchange, network-management, and command- and-control applications and multimedia systems. In this chapter, we describe a case study that considers sensor networks.

Research of Hybrid Congestion Control Mechanism

2012 ◽  
Vol 426 ◽  
pp. 275-278
Author(s):  
Cheng Yu Lai ◽  
Xiao Guang Fu
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Congestion Control ◽  
Energy Saving ◽  
Control Mechanism ◽  
Wireless Sensor ◽  
Forward Rate ◽  
Control Mechanisms ◽  
Channel Quality ◽  
Congestion Control Mechanism

In wireless sensor networks, congestion causes overall channel quality to degrade and loss rates to raise, leads to buffer drops and increased delays, and tends to be grossly unfair toward nodes whose data has to traverse a larger number of radio hops. Hybrid congestion control mechanisms relieve the congestion by creating the new path; when establishment of a new path is failed, fairness aggregate mechanisms limits forward rate, ensures that each source node sends data fairly. Based on energy-saving, algorithms for mild congestion have been improved.

scholarly journals RBCP-WSN: The Reliable Biderectional Control Protocol for Wireless Sensor Networks

2017 ◽  
Vol 63 (2) ◽  
pp. 201-207
Author(s):  
Marcin Golański ◽  
Radosław O. Schoeneich ◽  
Dawid Zgid ◽  
Marek Franciszkiewicz ◽  
Michał Kucharski
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Wireless Sensor ◽  
Control Mechanisms ◽  
Data Transport ◽  
Control Protocol ◽  
Bidirectional Communication ◽  
Testing Stage ◽  
Lack Of Control ◽  
Data Transferring

Abstract This paper presents the Reliable Bidirectional Control Protocol (RBCP) protocol, which is a transport protocol for Wireless Sensor Networks (WSN), focused on managing sensors’ behaviour. It aims to be a utility for reliable control data transferring from source to destination unit in the network. Considering the related studies on transport protocols, which are mostly dedicated to a single-direction reliable data transport, RBCP is the answer for the lack of control mechanisms in WSNs based on bidirectional communication. The first part of this paper is focused on general presentation of the proposed solution. In the next part, evaluation of the idea and final functionality are discussed. It will finally show the results of undergone testing stage.

Sign in / Sign up

Export Citation Format

Share Document