On design of dependable communication protocols for wireless sensor networks
2011 (English)Licentiate thesis, comprehensive summary (Other academic)
This thesis considers a problem of a design of dependable communication protocols for wireless sensor networks. In life critical applications of sensor networks, for example, connected to protection of critical infrastructures or intelligent transportation system dependability (i.e. reliability, availability, security) is the key performance requirement on the underlying communication system.In most of the cases the dependability properties of the system are evaluated a posteriori, after the communication protocols have been already implemented. This approach often leads to complete redesign of the system, which makes the development cycle long and costly.The contribution of this thesis is a proposed methodology for the design of dependable communication protocols. This methodology includes modularization of the existing protocols into functional components with known reliability and security properties. Given a set of defined components the methodology suggests rules for combining them into a protocol which satisfies the dependability requirements of the particular applications. The thesis demonstrates the application of the proposed methodology on an example of a medium access protocol synthesis for two real world applications.Finally, the performance of the resulting protocol should be evaluated prior to the deployment in the real network. Here the thesis highlights the current problem of the absence of a simulation environment for accurate performance evaluation of communication protocols in wireless sensor networks. The second contribution of the thesis is an integrated simulations environment named Symphony. Symphony allows simulating the same code which runs on the real hardware. Using this simulator the development cycle could be further reduced and the obtained performance results will better match the performance of the communication system in reality.
Place, publisher, year, edition, pages
Luleå: Luleå tekniska universitet, 2011. , 90 p.
Licentiate thesis / Luleå University of Technology, ISSN 1402-1757
Research subject Dependable Communication and Computation Systems
IdentifiersURN: urn:nbn:se:ltu:diva-18357Local ID: 8288d58a-da4d-42e1-8c30-3dd9097d030fISBN: 978-91-7439-235-7OAI: oai:DiVA.org:ltu-18357DiVA: diva2:991364
Godkänd; 2011; 20110322 (lauril); LICENTIATSEMINARIUM Ämnesområde: Datorkommunikation/Computer Networking Examinator: Associate Professor Evgeny Osipov, Institutionen för system- och rymdteknik, Luleå tekniska universitet Diskutant: Professor Marko Hännikäinen, Tampere University of Technology, Department of Computer Systems, Finland Tid: Tisdag den 19 april 2011 kl 10.15 Plats: A109, Luleå tekniska universitet2016-09-292016-09-29Bibliographically approved