Modeling and Analyzing Wireless Sensor Networks with VeriSensor: An Integrated Workflow [chapter]

Yann Ben Maissa, Fabrice Kordon, Salma Mouline, Yann Thierry-Mieg
2013 Lecture Notes in Computer Science  
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 design 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
more » ... y. 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 specification 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.
doi:10.1007/978-3-642-40465-8_2 fatcat:uqlrfmb66vgtreppf4jpnpzesa