Smart house monitoring and actuating system development using automatic code generation

This paper presents the development of a wireless networked microcontroller system. The network can be used for general-purpose monitoring and controlling activities, as well applied to the home automation (Domotics) area and to wireless sensor networks (WSN) area. The network is composed by two types of elements, a coordinator and the nodes. The system can be controlled remotely through a Web page. The system development framework was also used as a platform to validate the PNML2C tool that is able to generate C code automatically. This tool generates C code that implements a model expressed by an IOPT (input output place transition) Petri net model represented using the PNML (Petri net markup language) format. The network nodes are implemented using this tool, and its results are analyzed. A fully functional sensor-actuator network was implemented, amenable for monitoring and actuating activities, relying only on low cost components. A laboratory prototype was developed allowing validation of the results. The PNML2C tool was successfully integrated in the development framework and revealed adequate to produce an executable translation from the IOPT model amenable for supporting its implementation.