Día tras días se generan millones y millones de nuevos datos y la cantidad de información a procesar es un desafío creciente. Entre los más destacados podemos mencionar el crecimiento exponencial de la “Internet de las cosas” o Internet of Things (IoT) en inglés en los sistemas modernos. En este sentido, no sólo el almacenamiento constante de información es un problema a resolver, sino también la extracción inteligente de información y su posterior análisis para introducir mejoras en los sistemas.
Este problema ha sido atacado desde la Inteligencia Artificial y la Optimización Combinatoria, pero se han encontrado algunas debilidades como la falta de modelado y diseño y de la aplicación rigurosa de técnicas de Ingeniería de Software. Esto hace que el problema se ataque de una manera “ad-hoc”, por lo cual es necesario consolidar un enfoque de mayor formalidad en todas las etapas del proceso.
La presente investigación busca aplicar técnicas formales de Ingeniería de Software como Modelado y Model Checking al manejo y análisis de grandes volúmenes de datos.
Como caso de estudio concreto se trabajará con sensores para el Mantenimiento de parámetros del ambiente (como humedad o temperatura) del Laboratorio de Redes y Sistemas de Computación mediante protocolos de IoT.