Sparse network of fixed or mobile wireless devices, where most of the time there does not exist a complete path from a source to a destination are often referred to as Delay Tolerant Networks. The store-carry-and-forward principle, according to which messages can be stored at mobile nodes moving around the network area before being forwarded to the destination, allows the transmission of messages in such systems. In this paper, we use an analytical framework to study Delay Tolerant Networks, based on asCSL model checking techniques. In particular we focus on the case in which fixed sensors exhibit on-off behavior to overcome battery capacity limitations.

Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with on-off Behavior

GRIBAUDO, MARCO;
2007-01-01

Abstract

Sparse network of fixed or mobile wireless devices, where most of the time there does not exist a complete path from a source to a destination are often referred to as Delay Tolerant Networks. The store-carry-and-forward principle, according to which messages can be stored at mobile nodes moving around the network area before being forwarded to the destination, allows the transmission of messages in such systems. In this paper, we use an analytical framework to study Delay Tolerant Networks, based on asCSL model checking techniques. In particular we focus on the case in which fixed sensors exhibit on-off behavior to overcome battery capacity limitations.
Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/569957
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact