|
 
|
[ABD10] Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi
Conférence Internationale avec comité de lecture : SN'10, 3rd International Workshop on Sensor Networks (in conjunction with IEEE ICDCS'10), June 2010, pp.65-74, Genoa, Italy,Mots clés: S-MAC, process calculi, performance evaluation, Ï€-calculus, PEPA
Résumé:
This paper relates to the formal analysis of S-MAC, a medium-access protocol designed for wireless sensor networks. We study the synchronization mechanism of mobile nodes and the 4-way handshake mechanism of the Carrier Sense Multiple Access with Collision Avoidance scheme implemented by S-MAC. We model these previous mechanisms with the π-calculus and the proof of their deadlocks-freeness
is achieved by using the Mobility Workbench tool. A performance evaluation of S-MAC is also conducted by modeling and simulating the communications between ï¬xed nodes with
the Performance Evaluation Process Algebra (PEPA). The performance measurements are carried-out with the PEPA Eclipse plug-in.
For further information, please visit this web site.
For further information, please visit this web site.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| ABD10, | |||
| title | = | "{Verification and Performance Evaluation of S-MAC Protocol Based on Process Calculi}", | |
| author | = | " R. Abo and K. Barkaoui and K. Djouani ", | |
| booktitle | = | "{SN'10, 3rd International Workshop on Sensor Networks (in conjunction with IEEE ICDCS'10)}", | |
| year | = | 2010, | |
| month | = | "June", | |
| pages | = | "65-74", | |
| address | = | "Genoa, Italy", | |
| } | |||
