Abstract
Automatic code generation is an important step in development of software especially for a particular domain application such as embedded system. WSN is a wireless network of a group of sensor nodes, connected with AdHoc method. The formal models is adopted in the embedded application to allow to the developer the design of their system at an abstract level, and guarantee to them an assure implementation. A lot of work proposed an approach for modelling and verifying WSN protocols based on formal models for the wireless sensor network [3, 17]. In this paper, we present an approach for automatically generate WSN implementations from Timed Automata models. The proposed approach generates a set of operations that are presented in the abstract model, which define each functionality provided by a the WSN application. To demonstrate the feasibility of the proposed approach, it will be applied to automatically generate the code for an example of WSNs application.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
