Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil
Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking. Nous modélisons ces systèmes à l'aide d'un formalisme de haut niveau issu du π-calcul, permettant de considérer des comportements stochastiques, temporels, détermini...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Conservatoire national des arts et metiers - CNAM
2011
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00816392 http://tel.archives-ouvertes.fr/docs/00/81/63/92/PDF/ThA_se_-_R._-_Abo.pdf |