Probabilistic and Hybrid Model Checking Deployments for
Wireless Sensor Networks
Keywords: Modelling, Formal, Sensor, Network, Probabilistic Model.
Mehran University Research Journal of Engineering & Technology
Volume 31 , Issue 1
Mohsin Memon , Sania Bhatti , Sheeraz Memon ,
References
| 1. |
Fehnker, A., Fruth, M., and McIver, A., "Graphical
Modelling for Simulation and Formal Analysis of Wireless
Network Protocols", Proceedings of Workshop on
Methods, Models and Tools for Fault-Tolerance at the
7th International Conference on Integrated Formal
Methods, pp. 80-87, 2007. |
| 2. |
Sobeih, A., Chen, W.-P., Hou, J.C., Kung, L.-C., Li, N.,
Lim, H., Tyan, H.-Y., and Zhang, H., "J-sim: A Simulation
Environment for Wireless Sensor Networks",
Proceedings of 38th Simulation Symposium,
pp. 175-187, 2005. |
| 3. |
Verma, S., Lee, P., and Harris, I.G., "Error Detection
Using Model Checking vs. Simulation", Eleventh Annual
IEEE International High-Level Design Validation and
Test Workshop, pp. 55-58, 2006. |
| 4. |
Musuvathi, M., Park, D.Y.W., Chou, A., Engler, D.R.,
and Dill, D.L., "CMC: A Pragmatic Approach to Model
Checking Real Code", SIGOPS Operation System Review,
Volume 36 (SI), pp. 75-88, 2002. |
| 5. |
Clarke, E., Grumberg, O., Jha, S., Lu, Y., and Veith, H.,
"Counter Example-Guided Abstraction Refinement for
Symbolic Model Checking", Journal of ACM,
Volume 50, No. 5, pp. 752-794, 2003. |
| 6. |
Mottola, L., Voigt, T., Österlind, F., Eriksson, J., Baresi,
L., and Ghezzi, C., "Anquiro: Enabling Efficient Static
Verification of Sensor Network Software", Workshop
on Software Engineering for Sensor Network
Applications, 2010. |
| 7. |
Herault, T., Lassaigne, R., Magniette, F. and Peyronnet,
S., "Approximate Probabilistic Model Checking",
Proceedings of Fifth International VMCAI'04,
LNCS:2937, pp. 73-84, 2004. |
| 8. |
Hanna, Y., Rajan, H., and Zang, W., "SLEDE: A Domain
Specific Framework for Sensor Network Security
Protocol Implementation", Proceedings of the First ACM
Conference on Wireless Network Security, pp. 109-118,
Alexandria, VA, USA, March 31 - April 02, 2008. |
| 9. |
Li, P., and Regehr, J., "T-Check: Bug Finding for Sensor
Networks", Proceedings of the International Conference
on Information Processing in Sensor Networks, SPOTS
Track, Stockholm, Sweden, April, 2010. |
| 10. |
Tkachuk, O., Dwyer, M.B., and Pasareanu, C.S.,
"Automated Environment Generation for Software Model
Checking", Proceedings of the 18th IEEE Inter.
Conference on Automated Software Engineering,
pp. 116-127, 2003. |
| 11. |
Lessmann, J., Janacik, P., Lachev, l., and Orfanus, D.,
"Comparative Study of Wireless Simulators", Proceedings
of Seventh International Conference on Networking,
pp. 517-523, 2008. |
| 12. |
Merrett, G.V., White, N.M., Harris, N.R., and Al-
Hashimi, B.M., "Energy-Aware Simulation for Wireless
Sensor Networks", Proceedings of the 6th Annual IEEE
Communications Society Conference on Sensor, Mesh
and Ad Hoc Communications and Networks,
pp. 64-71, 2009. |
| 13. |
Mekni, M., and Moulin, B., "A Survey on Sensor Webs
Simulation Tools", Proceedings of International
Conference on Sensor Technologies and Applications.
(SensorComm '08), pp. 574-579, 2008. |
| 14. |
Herault, T., Lassaigne, R., and Peyronnet, S., "APMC
3.0: Approximate Verification of Discrete and
Continuous Time Markov Chains", Proceedings of Third
International Conference on Quantitative Evaluation
of Systems, pp. 129-130, 2006. |
| 15. |
Coleri, S., Ergen, M., and Koo, T.J., "Lifetime Analysis
of a Sensor Network with Hybrid Automata Modelling",
Proceedings of the 1st ACM International Workshop
on Wireless Sensor Networks and Applications,
pp. 98-104. ACM Press, 2007. |
| 16. |
Green, J., Bhattacharyya, S., and Panja, B., "Real-Time
Logic Verification of a Wireless Sensor Network",
Proceedings of World Congress on Computer Science
and Information Engineering, pp. 269-273, 2009. |
| 17. |
Kwiatkowska, M., Norman, G., and Parker, D., "PRISM:
Probabilistic Model Checking for Performance and
Reliability Analysis", ACM SIGMETRICS Performance
Evaluation Review, Volume 36, No. 4, pp. 40-45, 2009. |
| 18. |
Power, C., and Miller, A., "Prism2Promela", Proceddings
of Fifth International Conference on Quantitative
Evaluation of Systems, pp. 79-80, 2008. |
| 19. |
Ballarini, P., and Miller, A., "Model Checking Medium
Access Control for Sensor Networks", Second
International Symposium on Leveraging Applications
of Formal Methods, Verification and Validation, Paphos,
Cyprus, 15-19 November, 2006. |
| 20. |
Boulis, F.A., Fehnker, A., Fruth, M., and McIver, A.,
"CaVi-Simulation and Model Checking for Wireless
Sensor Networks", Proceedings of the Fifth International
Conference on Quantitative Evaluation of Systems,
Septmber 14-17, 2008. |
| 21. |
Donaldson, A., Miller, A., and Parker, D., "GRIP: Generic
Representatives in PRISM", Proceedings of 4th
International Conference on Quantitative Evaluation
of Systems, pp. 115-116, IEEE CS Press, 2007. |
| 22. |
Tobarra, L., Cazorla, D., and Cuartero, F., "Formal
Analysis of Sensor Network Encryption Protocol
(SNEP)", Proceedings of IEEE International Conference
on Mobile Adhoc and Sensor Systems, pp. 1-6, 2007. |
| 23. |
Bozga, M., Graf, S., Ober, I., Ober, I., and Sifakis, J.,
"The if Toolset", Corradinni, F., and Bernanrdo, M.,
(Editors), Proceedings of SFM'04, Volume 3185 of LNCS,
Springer-Verlag, 2004. |
| 24. |
Henzinger, T.A., Ho, P.-H., and Wong-Toi, H., "Hytech:
A Model Checker for Hybrid Systems", Proceedings of
the 9th International Conference on Computer Aided
Verification, pp. 460-463. Springer-Verlag, 1997. |
| 25. |
Mounier, L., Samper, L., and Znaidi, W., "Worst-Case
Lifetime Computation of a Wireless Sensor Network by
Model-Checking", Proceedings of the 4th ACM
Workshop on Performance Evaluation of Wireless Ad
Hoc, Sensor and Ubiquitous Networks, Chania, Crete
Island, Greece, October 22-22, 2007. |
| 26. |
Sobeih, A., Viswanathan, M., and Hou, J.C., "Check and
Simulate: A Case for Incorporating Model Checking in
Network Simulation", Proceedings of ACM-IEEE
MEMOCODE, 2004. |
| 27. |
¨Olveczky, P.C., and Meseguer, J., "Specification and
Analysis of Real-Time Systems Using Real-Time
Maude", Proceedings of FASE, Volume 2984 of LNCS,
Springer, 2004. |
| 28. |
Olveczky, P.C., and Thorvaldsen, S., "Formal Modeling
and Analysis of the OGDC Wireless Sensor Network
Algorithm in Real-Time Maude", Proceedings of Formal
Methods for Open Object-Based Distributed Systems,
pp. 122-140, 2007. |
| 29. |
Hanna, Y., and Rajan, H., "Verifying Fault-Tolerance of
Sensor Network Applications Using Auto-generated Fault
Injection Mechanisms", Technical Report 07-11,
Computer Science, Iowa State University, 2007. |
| 30. |
Behrmann, G., David, A., Larsen, K.G., Hakansson, J.,
Petter-son, P., Yi, W., and Hendriks, M., "Uppaal 4.0",
Quantitative Evaluation of Systems, IEEE Computer
Society, pp. 125-126, 2006. |
| 31. |
Fehnker, A., Hoesel, L.V., and Mader, A., "Modelling
and Verification of the LMAC Protocol for Wireless
Sensor Networks", Proceedings of IFM, pp. 253-272,
2007. |
| 32. |
Vighio, M.S., and Ravn, A.P., "Analysis of Collisions in
Wireless Sensor Networks", 21st Nordic Workshop on
Programming Theory, Copenhagen, Denmark, 2009. |
| 33. |
Vigano, L., "Automated Security Protocol Analysis with
the AVISPA Tool", Electronic Notes in Theoretical
Computer Science, Volume 155, pp. 61-86, 2006. |
| 34. |
Tschirner, S., Xuedong, L., and Yi, W., "Model-Based
Validation of QoS Properties of Biomedical Sensor
Networks", Proceedings of the 8th ACM International
Conference on Embedded Software, pp. 69-78, 2008. |
| 35. |
Bhatti, S., Xu, J., and Memon, M., "Clustering and Fault
Tolerance for Target Tracking using Wireless Sensor
Networks", International Journal of IET Wireless Sensor
Systems, Volume 1, No. 2, pp. 66-73, 2011. |
| 36. |
Bhatti, S., Memon, S., Jokhio, I.A., and Memon, M.,
"Modelling and Symmetry Reduction of a Target
Tracking Protocol using Wireless Sensor Networks",
International Journal of IET Communications,
(Unpublished). |
| |
|
|