1 Hit in 2.3 sec

Framework for Wireless Sensor Networks Code Generation from Formal Specification

Sara Houhou, Laid Kahloul, Saber Benharzallah, Roufaida Bettira
2017 Computer Science & Information Technology (CS & IT)   unpublished
Formal methods (as Automata, Petri nets, algebra, logics, etc.) were largely used in the specification of these protocols, their analysis and their verification.  ...  We implemented our solution and we illustrated the proposed approach on a protocol case study for the "humidity" and "temperature" sensing in WSNs applications.  ...  In addition, the authors do not conserve the consistency between the models. In [11] - [13] , the authors present an approach for developing the DMAMAC protocol proposed in [11] .  ... 
doi:10.5121/csit.2017.71204 fatcat:glqyutcvqbga3aegojvhuwnhny