Evaluating complex MAC protocols for sensor networks with APMC

DOI10.1016/J.ENTCS.2007.05.027zbMATH Open1335.68013OpenAlexW2135757886MaRDI QIDQ5178993FDOQ5178993

Authors Michaël Cadilhac, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil

Publication date 18 March 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.05.027

zbMATH Keywords

wireless sensor networksapproximate verification

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Recommendations

• Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC
• Distribution, approximation and probabilistic model checking
• Computer Aided Verification
• A state-based model of sensor protocols
• Semantic analysis of gossip protocols for wireless sensor networks

Cites work

• scientific article; zbMATH DE number 2080755 (Why is no real title available?)
• scientific article; zbMATH DE number 2087806 (Why is no real title available?)
• scientific article; zbMATH DE number 1905115 (Why is no real title available?)
• scientific article; zbMATH DE number 2090709 (Why is no real title available?)
• Algorithmic Aspects of Wireless Sensor Networks
• An abstract Monte-Carlo method for the analysis of probabilistic programs
• Computer Aided Verification
• Contention-Free MAC Protocols for Wireless Sensor Networks
• Development of the ALOHANET
• Information processing in sensor networks. Second international workshop, IPSN 2003, Palo Alto, CA, USA, April 22--23, 2003. Proceedings
• Packet Switching in Radio Channels: Part I--Carrier Sense Multiple-Access Modes and Their Throughput-Delay Characteristics
• Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
• Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC
• Throughput Analysis for Persistent CSMA Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification, Model Checking, and Abstract Interpretation

Cited in

(5)

• Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• A hierarchical formal method for performance evaluation of WSNs protocol
• Probabilistic verification and approximation
• APMC

Describes a project that uses

Uses Software

• PRISM

This page was built for publication: Evaluating complex MAC protocols for sensor networks with APMC

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