Wireless Sensor Networks (WSNs) are widely recognized as a solution to build monitoring systems, even in 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.
Static Verification of Wireless Sensor Networks with Formal Methods
Coronato Antonio;
2012
Abstract
Wireless Sensor Networks (WSNs) are widely recognized as a solution to build monitoring systems, even in 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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
