Static verification of wireless sensor networks with formal methods

Testa, Alessandro, Coronato, Antonio, Cinque, Marcello and Augusto, Juan Carlos ORCID: https://orcid.org/0000-0002-0321-9150 (2012) Static verification of wireless sensor networks with formal methods. In: 8th International Conference on Signal Image Technology and Internet Based Systems (SITIS 2012), 25 - 29 November 2012, Naples, Italy.

[img]
Preview
PDF
Download (612kB) | Preview

Abstract

Wireless Sensor Networks (WSNs) are widely recognized as a solution to build monitoring systems, even in critical environments. WSNs, however, are subjected to faults due to several causes (i.e. rain, EMF radiations, vibrations, etc..) and tools and methodologies for the design of dependable WSN-based systems are needed. Formal methods partially meet such needs by assessing the degree of correctness of design models and identifying potential system bottlenecks. The aim of this paper is to define a methodology for the static verification of WSN based systems using a formal language (Event Calculus). In particular we show how the formal specification can be used to verify the design of a WSN in terms of its dependability properties. To this aim, we define a set of correctness specifications that apply to a generic WSN, coupled with specific structural specifications describing the target network topology to evaluate. Finally, after having presented an automatic tool, designed to support the designer, we adopt this methodology to a case study.

Item Type: Conference or Workshop Item (Paper)
Additional Information: IEEE Press
Research Areas: A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments group
Item ID: 9970
Useful Links:
Depositing User: Dr. Juan C. Augusto
Date Deposited: 28 Feb 2013 07:40
Last Modified: 02 Apr 2019 14:30
URI: https://eprints.mdx.ac.uk/id/eprint/9970

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year