Diseño de un esquema de integración entre el modelamiento SDL y el desarrollo y simulación de redes inalámbricas de sensores basadas en Contiki

Las herramientas de simulacion y analisis utilizadas en proyectos de sistemas distribuidos se han convertido en parte fundamental del desarrollo de este tipo de sistemas [1], lo cual ofrece la posibilidad a los involucrados en el proyecto, de probar los disenos antes de hacer implementaciones o cambios en los ambientes de produccion. Dentro del desarrollo de sistemas de IoT (Internet de las Cosas), la simulacion se torna en una herramienta fundamental, dado que los disenos de este tipo de tecnologia implican la utilizacion de una gran cantidad de dispositivos cuyo despliegue para pruebas reales presenta altos costos y un sinnumero de requerimientos que hacen la tarea de probar un diseno de IoT complicada y dispendiosa. Teniendo en cuenta las caracteristicas de los proyectos de IoT, la simulacion es imprescindible por el hecho de que los paradigmas de diseno de IoT involucran gran cantidad de sensores, que son costosos para ser usados solo en pruebas [2]. Los diferentes campos de aplicacion de IoT y las predicciones de la industria en cuanto a crecimiento de dispositivos conectados, los cuales seran del orden de millardos en los proximos anos [3], hacen necesario que antes de realizar inversiones en cientos de dispositivos para pruebas de un proyecto de IoT, se recurra a la simulacion previa del proyecto, asi como de mecanismos que faciliten el paso del diseno a la implementacion real [4]. En este aspecto se hace relevante la integracion directa entre lenguajes de descripcion como el SDL (Specification and Description Language), con los lenguajes de desarrollo. Integraciones de este tipo permiten pasar rapidamente de un diseno descriptivo a una implementacion y simulacion de un prototipo especifico [5]. Este trabajo se enfoca en proponer un mecanismo de integracion entre herramientas de descripcion formal como SDL [6] y sistemas operativos tales como Contiki [7] y simuladores para aplicaciones de IoT tales como Cooja [8], que permite observar caracteristicas tales como consumo de energia, capacidad de procesamiento, almacenamiento, conectividad entre otros. Se busca que esta propuesta conlleve a mejorar los tiempos y costos en el ciclo de vida de disenos de IoT y verificacion de los modelos, previo a las inversiones necesarias para la puesta en produccion de un sistema.