Modeling and Analyzing Wireless Sensor Networks with VeriSensor

Abstract : A Wireless Sensor Network (WSN), made of distributed autonomous nodes, is designed to monitor physical or environmental conditions. WSNs have many application domains such as environment or health monitoring. Their de- sign must consider energy constraints, concurrency issues, node heterogeneity, while still meeting the quality requirements of life-critical applications. Formal verification helps to obtain WSN reliability, but usually requires a high expertise, which limits its adoption in industry. This paper presents VeriSensor, a domain specific modeling language (DSML) for WSNs offering support for formal verification. VeriSensor is designed to be used by WSN experts. It can be automatically translated into a formal specifica- tion for model checking. We present the language, its translation, show how they work on a simple case study, and illustrate how several metrics and properties relevant to the domain can be evaluated.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00822408
Contributor : Yann Ben Maissa <>
Submitted on : Tuesday, May 14, 2013 - 4:02:49 PM
Last modification on : Tuesday, May 14, 2019 - 11:07:20 AM
Long-term archiving on : Tuesday, April 4, 2017 - 7:03:34 AM

File

pnse12.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00822408, version 1

Citation

Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg. Modeling and Analyzing Wireless Sensor Networks with VeriSensor. Petri Net and Software Engineering (PNSE), Jun 2012, Hamburg, Germany. pp.60-76. ⟨hal-00822408⟩

Share

Metrics

Record views

413

Files downloads

248