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

DOI10.1016/J.JLAP.2011.12.001MaRDI QIDQ444471zbMATH OpenOpenAlexFDO

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

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 theorygroupingwireless sensor networksformal modeling

Mathematics Subject Classification ID

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

Recommendations

• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Finding the Number of Clusters Minimizing Energy Consumption of Wireless Sensor Networks
• Algorithmic Aspects of Wireless Sensor Networks
• Modeling and simulation of low power wireless sensor networks based on generalized nets
• A hierarchical formal method for performance evaluation of WSNs protocol

Cites work

• scientific article; zbMATH DE number 1243371 (Why is no real title available?)
• scientific article; zbMATH DE number 467196 (Why is no real title available?)
• scientific article; zbMATH DE number 1978134 (Why is no real title available?)
• A structural approach to operational semantics
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• An Object-Oriented Component Model for Heterogeneous Nets
• Conditional rewriting logic as a unified model of concurrency
• Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• Game theory
• Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2--5, 2007. Proceedings.
• Methods, models and tools for fault tolerance
• Towards Maude 2. 0

Cited in

(1)

• A hierarchical formal method for performance evaluation of WSNs protocol

Describes a project that uses

Uses Software

• SensorSim
• Maude

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444471)