Metodología para implementar un modelo Hiles de una WSN

Abstract

This thesis presents a methodology for implementing a HiLeS model within the context of Wireless Sensor Networks (WSN), aiming to establish a bridge between the conceptual representation of HiLeS elements and their practical implementation. First, a textual representation of HiLeS elements is developed, providing a formal structure to capture their characteristics and relationships. Subsequently, a visualization of this textual representation is proposed to facilitate comprehension and analysis of the model. The methodology further includes the translation of the textual representation into MicroPython, enabling execution in embedded hardware environments. To validate the approach, a problem within the context of a WSN is defined and logically simulated. Based on this simulation, a set of validation tests is conducted to verify the expected network behavior and its consistency with the HiLeS model. Finally, the results are analyzed, demonstrating the feasibility of the methodology and its potential application in the design and validation of WSN-based solutions.