Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by

Same author

Reinforcement Learning in Healthcare.

Studies in health technology and informatics·2026

Same author

Handbook on Smart Health: Summary and Outlook.

Studies in health technology and informatics·2026

Same author

Perianal fistulas: a new management approach using mesenchymal stem cells as a human, biological and autologous tool-a single-centre observational study.

International journal of colorectal disease·2025

Same author

Supersymmetric Localization and Nonconformal N=2 Supersymmetric Yang-Mills Theories in the Perturbative Regime.

Physical review letters·2025

Same author

Impact of AI-Powered Solutions in Rehabilitation Process: Recent Improvements and Future Trends.

International journal of general medicine·2024

Same author

Optimal User Scheduling in Multi Antenna System Using Multi Agent Reinforcement Learning.

Sensors (Basel, Switzerland)·2022

Search research articles

Related Experiment Video

Updated: Mar 9, 2026

Design and Analysis for Fall Detection System Simplification

Design and Analysis for Fall Detection System Simplification

Published on: April 6, 2020

A Formal Methodology to Design and Deploy Dependable Wireless Sensor Networks.

Alessandro Testa¹, Marcello Cinque², Antonio Coronato³

¹Ministero dell'Economia e delle Finanze, Rome 00187, Italy. alessandro.testa@tesoro.it.

Sensors (Basel, Switzerland)

|December 28, 2016

Summary

This study introduces a formal verification method to assess and enhance the dependability of Wireless Sensor Networks (WSNs). The ADVISES tool aids designers in ensuring WSNs perform reliably before and during operation.

Keywords:

Wireless Sensor Networks dependability formal methods metrics modeling

More Related Videos

Methodology for Establishing a Community-Wide Life Laboratory for Capturing Unobtrusive and Continuous Remote Activity and Health Data

Methodology for Establishing a Community-Wide Life Laboratory for Capturing Unobtrusive and Continuous Remote Activity and Health Data

Published on: July 27, 2018

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

Related Experiment Videos

Last Updated: Mar 9, 2026

Design and Analysis for Fall Detection System Simplification

Design and Analysis for Fall Detection System Simplification

Published on: April 6, 2020

Methodology for Establishing a Community-Wide Life Laboratory for Capturing Unobtrusive and Continuous Remote Activity and Health Data

Methodology for Establishing a Community-Wide Life Laboratory for Capturing Unobtrusive and Continuous Remote Activity and Health Data

Published on: July 27, 2018

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

Area of Science:

Computer Science
Network Engineering
Reliability Engineering

Background:

Wireless Sensor Networks (WSNs) are critical for applications, necessitating robust operation verification.
Undesired events can compromise WSN missions, requiring pre-deployment assessment and runtime monitoring.
Ensuring WSN dependability is crucial for predictable performance and avoiding failures.

Purpose of the Study:

To propose a methodology for assessing and improving WSN dependability using event-based formal verification.
To introduce the ADVISES tool, simplifying the adoption of formal verification for WSN designers.
To enable both design-time and runtime verification of WSN correctness properties and dependability metrics.

Main Methods:

An event-based formal verification technique is employed.
A methodology guides designers in creating dependable WSNs.
The ADVISES tool automates formal specification generation for homogeneous WSNs with static routing.
Runtime verification checks WSN behavior against design-time results and detects failures for recovery.

Main Results:

The methodology and ADVISES tool effectively assess and improve WSN dependability.
Formal specifications are automatically generated for design-time and runtime analysis.
Runtime verification allows for detection of failures and triggering of recovery procedures.
Case studies demonstrate the tool's utility in guiding design choices and verifying WSN correctness.

Conclusions:

The proposed methodology offers a systematic approach to enhance WSN dependability.
The ADVISES tool simplifies the application of formal verification in WSN design and operation.
Runtime verification capabilities are crucial for maintaining WSN performance and resilience.
Addressing state space explosion through topology partitioning is key for scaling to large WSNs.