Profesores de la Escuela Superior de Ingeniería Informática de Albacete han formalizado su colaboración con dos proyectos de física de la tierra, uno que desarrolla la NASA sobre clima y pronósticos meteorológicos y otro que prestará soporte a los Juegos Olímpicos de Invierno de Corea del Sur.
Se trata de los profesores Diego Cazorla López, Juan José Pardo y Enrique Arias, que pertenecen al grupo de investigación «ReTiCS» (Sistemas Concurrentes y de Tiempo Real en sus siglas en inglés) del Instituto de Investigación en Informática de Albacete, según ha informado hoy en una nota de prensa la Universidad de Castilla-La Mancha (UCLM).
En uno de los proyectos el ReTiCS dará servicio al proyecto GPM de la NASA realizando simulaciones de clima y pronósticos meteorológicos a diferentes escalas.
El objetivo es mejorar el conocimiento científico de los procesos de precipitación, algo que solo puede ser logrado utilizando técnicas intensivas de cálculo y modelización numérica en las que el grupo tiene amplia experiencia.
En el otro proyecto, se utilizarán los conocimientos de supercomputación del ReTiCS para proporcionar soporte científico a los Juegos Olímpicos de Invierno que se celebrarán en Corea del Sur en 2018.
En este proyecto, el bagaje del grupo serán un elemento fundamental para que diversas competiciones, como los saltos, se desarrollen en condiciones de seguridad.
Ambos proyectos se realizan en colaboración con el grupo Ciencia de la Tierra y del Espacio (CITE) liderado por el profesor Francisco Javier Tapiador Fuentes. En el ámbito de estas colaboraciones ya se han producido estancias de investigación en el Jet Propulsion Laboratory (JPL) de la NASA por parte de los doctorandos del grupo, en particular, por Raúl Moreno Galdón.
Los cálculos necesarios en ambos proyectos se llevarán a cabo en el supercomputador de última generación Galgo del Instituto de Investigación en Informática de Albacete, que consta de casi 1200 nodos de procesamiento.
El trabajo realizado en el seno del grupo ReTiCS desde su creación se ha centrado, fundamentalmente, en el modelado, análisis y verificación de sistemas concurrentes, sistemas distribuidos y de tiempo real.
Este grupo de investigación tiene una amplia experiencia en herramientas de análisis y métodos formales para la descripción y análisis de los sistemas concurrentes y de tiempo real, como álgebras de procesos, redes de petri y petri box calculus.