Modeling and Analyzing Wireless Sensor Networks with VeriSensor - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Modeling and Analyzing Wireless Sensor Networks with VeriSensor

Résumé

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.
Fichier principal
Vignette du fichier
pnse12.pdf (592.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00822408 , version 1 (14-05-2013)

Identifiants

  • HAL Id : hal-00822408 , version 1

Citer

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⟩
294 Consultations
187 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More