NDLI: Formal verification and validation of a movement control actor relocation algorithm for safety

Please wait, while we are loading the content...

Mitigation fault of node mobility for the MANET networks by constructing a backup path with loop free: enhance the recovery mechanism for pro-active MANET protocol

An overview of performance trade-off mechanisms in routing protocol for green wireless sensor networks

On a spectral analysis of IEEE802.11 queueing networks

Construction of indoor floor plan and localization

Cross-layer optimization with MIPv6-based multiple mobile routers for cognitive networks

Novel Quick Start (QS) method for optimization of TCP

PN code acquisition using smart antennas and adaptive thresholding for spread spectrum communications

Protocols for mitigating blackhole attacks in delay tolerant networks

Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications

A two-tier strategy for priority based critical event surveillance with wireless multimedia sensors

Self soft fault detection based routing protocol for vehicular ad hoc network in city environment

Distributed proxies with fast handover support for a PURSUIT based networking architecture

An optimized prioritized load balancing approach to scalable routing (OPLBA)

A review on energy efficient protocols in wireless sensor networks

Heterogeneous cognitive networks: spectrum sharing with adaptive opportunistic DSMA for collaborative PCP-OFDM system

Wireless Networks : Volume 21

Wireless Networks : Volume 20

Wireless Networks : Volume 19

Wireless Networks : Volume 18

Wireless Networks : Volume 17

Wireless Networks : Volume 16

Wireless Networks : Volume 15

Wireless Networks : Volume 14

Wireless Networks : Volume 13

Wireless Networks : Volume 12

Wireless Networks : Volume 11

Wireless Networks : Volume 10

Wireless Networks : Volume 9

Wireless Networks : Volume 8

Wireless Networks : Volume 7

Wireless Networks : Volume 6

Wireless Networks : Volume 5

Wireless Networks : Volume 4

Wireless Networks : Volume 3

Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications

Content Provider	Springer Nature Link
Author	Imran, Muhammad Zafar, Nazir Ahmad Alnuem, Mohammed Abdullah Aksoy, Mehmet Sabih Vasilakos, Athanasios V.
Copyright Year	2015
Abstract	Wireless sensor and actor networks (WSAN) are captivating significant attention because of their suitability for safety–critical applications. Efficient actor placement in such applications is extremely desirable to perform effective and timely action across the deployment region. Nonetheless, harsh application environment inherently favors random placement of actors that leads to high concentration deployment and strangles coverage. Moreover, most of the published schemes lack rigorous validation and entirely rely on informal techniques (e.g., simulation) for evaluating nonfunctional properties of algorithms. This paper presents a localized movement control actor relocation (MCAR) algorithm that strives to improve connected coverage while minimizing movement overhead. MCAR pursues post-deployment actor repositioning in such a way that actors repel each other for better coverage while staying connected. We employ complementary formal and informal techniques for MCAR verification and validation. We model WSAN as a dynamic graph and transform MCAR to corresponding formal specification using Z notation. The resulting specification is analyzed and validated using Z eves tool. We simulate the specification to quantitatively demonstrate the efficiency of MCAR. Simulation results confirm the efficiency of MCAR in terms of movement overhead and connected coverage compared to contemporary schemes. The results show that MCAR can reduce distance movement up to 32 % while improving coverage up to 29 % compared to published schemes.
Starting Page	247
Ending Page	265
Page Count	19
File Format	PDF
ISSN	10220038
Journal	Wireless Networks
Volume Number	22
Issue Number	1
e-ISSN	15728196
Language	English
Publisher	Springer US
Publisher Date	2015-05-21
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	WSANs Movement control actor relocation Connected coverage Formal specification Z notation Communications Engineering, Networks Computer Communication Networks Electrical Engineering IT in Business
Content Type	Text
Resource Type	Article
Subject	Computer Networks and Communications Information Systems Electrical and Electronic Engineering

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks

Efficient movement control actor relocation for honing connected coverage in wireless sensor and actor networks

Greedy algorithms for actor redeployment in wireless sensor–actor networks

Safety Design for Simulation Models based on Formal Methods

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata

Localized algorithms for coverage boundary detection in wireless sensor networks

Position and hop-count assisted full coverage control in dense sensor networks

Formal techniques for the specification, verification and construction of communication protocols

Approximating geographic routing using coverage tree heuristics for wireless network

Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications

Similar Documents

Formal Specification and Validation of a Hybrid Connectivity Restoration Algorithm for Wireless Sensor and Actor Networks

Efficient movement control actor relocation for honing connected coverage in wireless sensor and actor networks

Greedy algorithms for actor redeployment in wireless sensor–actor networks

Safety Design for Simulation Models based on Formal Methods

Verifying Monoid and Group Morphisms over Strongly Connected Algebraic Automata

Localized algorithms for coverage boundary detection in wireless sensor networks

Position and hop-count assisted full coverage control in dense sensor networks

Formal techniques for the specification, verification and construction of communication protocols

Approximating geographic routing using coverage tree heuristics for wireless network

Formal verification and validation of a movement control actor relocation algorithm for safety–critical applications