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.

Research lines

Projects

AN AI ON-DEMAND PLATFORM TO SUPPORT RESEARCH EXCELLENCE IN EUROPE

The rapid advancement of AI technologies has led the EU to decide on hosting a research environment focused on scientific and ethical excellence, which grows with the cooperation of members from within the EU and the assistance of academia and industry. The EU-funded AI4EUROPE project, in collaboration with AI4EU and other related projects, aims to develop this space by introducing an unbiased, open and cooperative platform from and for the European research community for excellent studies of AI. This platform will provide services ranging from data access, services and tools to cooperation with other researchers. The project will also enable a business model for guaranteeing its continued operation.
Horizonte Europa

Next-gEnerATion dAta Management to foster suitable Behaviors and the resilience of cItizens against modErN ChallEnges

Data management issues to help citizens face modern challenges