COSMOS

Computer Science for Complex System Modeling

La principal actividad del grupo es el desarrollo de sistemas complejos, que impliquen sistemas distribuidos con requerimientos no funcionales de escalabilidad, tolerancia a fallos, y/o estructura y comportamiento dinámicos. Estos sistemas requieren habitualmente modelos formales y metodologías que permitan al modelador razonar acerca de la corrección de las soluciones propuestas, el uso de grandes infraestructuras de computación distribuida, y la utilización de técnicas de gestión y explotación de grandes volúmenes de datos. Los sistemas complejos pueden aparecer, entre otros, en escenarios de smart grid, smart cities, redes de vehículos, etc.

De especial atención en la actividad del grupo son los retos tecnológicos que surgen en entornos de ciudades inteligentes (smart cities) para el desarrollo de servicios para el ciudadano, el medio ambiente, la carga de los vehículos eléctricos, la fabricación y la logística (modelado de sistemas de asignación de recursos), los sistemas informáticos centrados en la red (modelado de redes computacionales de alta escala), sistemas software (especificación de propiedades no funcionales: fiabilidad, mantenimiento y seguridad), y sistemas biológicos (tales como métodos de construcción de filogenia de propósito general) y de salud.

Algunas palabras clave que caracterizan el interés investigador del grupo son las siguientes: sistemas complejos, modelos formales, gestión de datos, computación móvil, complejidad computacional, aprendizaje automático.

Proyectos

El proyecto "Datos 4.0: Retos y Soluciones" se centra en desafíos y soluciones para lo que llamamos Datos 4.0: la cuarta revolución en la gestión de datos, que además de ser "big" y/o "smart" requieren nuevas soluciones de procesamiento y explotación en escenarios exigentes de todo un nuevo abanico de aplicaciones impensables hace pocos años en escenarios de diferente naturaleza

El propósito de este proyecto es desarrollar herramientas computacionales para el diagnóstico asistido por computador y el pronóstico de enfermedades neurodegenerativas

Modelado y Simulación para la Ingeniería de Sistemas Discretos Complejos: Una Aproximación Basada en la Simulación Distribuida de Redes de Petri en Cloud

El modelado y la simulación juegan un papel fundamental en el desarrollo de procesos de ingeniería de sistemas facilitando su diseño, la evaluación de soluciones arquitecturales, complementando pruebas, y permitiendo la evaluación de las prestaciones del sistema