Aplicaciones inteligentes sobre internet de las cosas y grandes volúmenes de datos: un enfoque riguroso
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 sen...
Guardado en:
| Autores principales: | , , , , , , , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/103452 |
| Aporte de: |
| Sumario: | 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. |
|---|