Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-net Model of 802.11 PCF

被引：0

作者：

Haines, Russell ^{[1
,2
]}

Clemo, Gary ^{[2
]}

Munro, Alistair ^{[1
]}

机构：

[1] Univ Bristol, Ctr Commun Res, Bristol BS8 1TH, Avon, England

[2] Toshiba Res Europe Ltd, Telecommun Res Lab, Bristol, Avon, England

来源：

2006 IEEE 64TH VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-6 | 2006年

关键词：

Modeling of the MAC; WLAN; formal verification;

D O I：

暂无

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

The delivery of traffic with stringent Quality of Service (QoS) requirements over wireless local area networks (WLAN) is a vital research topic. A solution is to adopt centralized control functions, which allocate part of the bandwidth to polling traffic and part to contending traffic. Reliable means of performing this allocation are required as this allocation directly determines how well the two forms of traffic can coexist. In an earlier publication we presented an extended Petri-net model of an IEEE802.11 centralized control scheme, and used this model in the manner of a simulation tool to analyze performance, promising analysis of the model to come. Here we perform verification on aspects of the model to verify key properties of the system, something that is only possible by virtue of the strong mathematical basis of Petri-nets.(1)

引用

页码：2236 / +

页数：2

共 3 条

[1] Toward Formal Verification of 802.11 MAC Protocols: a Case Study of Applying Petri-nets to Modeling the 802.11 PCF
Haines, Russell
Munro, Alistair
Clemo, Gary
2006 IEEE 63RD VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-6, 2006, : 1171 - +
[2] A Formal Approach for Modeling and Verification of Bus Bridge Based on Petri Net and Model Checking
Zhang, Guoyin
Liu, Ming
Yao, Aihong
PROCEEDINGS 2010 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY, (ICCSIT 2010), VOL 1, 2010, : 335 - 339
[3] Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach
Yang, Jingda
Wang, Ying
IEEE ACCESS, 2024, 12 : 27858 - 27869

← 1 →