Formal modeling and validation of a power-efficient grouping protocol for WSNs

DOI10.1016/J.JLAP.2011.12.001zbMath1252.68041OpenAlexW1973884659MaRDI QIDQ444471

Olaf Owe, Ilangko Balasingham, Fatemeh Kazemeyni, Einar Broch Johnsen

Publication date: 14 August 2012

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2011.12.001

zbMATH Keywords

game theorywireless sensor networksgroupingformal modeling

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Distributed systems (68M14) Network protocols (68M12)

Uses Software

• Maude
• SensorSim

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Methods, models and tools for fault tolerance
• Conditional rewriting logic as a unified model of concurrency
• A structural approach to operational semantics
• Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2--5, 2007. Proceedings.
• An Object-Oriented Component Model for Heterogeneous Nets

This page was built for publication: Formal modeling and validation of a power-efficient grouping protocol for WSNs