I3A - Instituto de Investigación en Ingeniería de Aragón

About Us
About of us
About us
About us
About us
COSMOSComputer Science for Complex System Modeling
http://cos2mos.unizar.es

El Grupo de Ciencias de la Computación para el Modelado de Sistemas Complejos (COS2MOS) es un Grupo de Investigación Emergente, reconocido por el Gobierno de Aragón, que está adscrito a la División de Tecnologías de la Información y la Comunicación del Instituto de Investigación en Ingeniería de Aragón (I3A).

La actividad investigadora se centra en la construcción y explotación de modelos obtenidos a través de un proceso de abstracción de sistemas complejos reales pertenecientes a dominios como: las redes de computadores, los sistemas de fabricación, los sistemas de información industriales, o los sistemas de transporte.

Desde un punto de vista metodológico se tratan sistemas distribuidos de grandes dimensiones que requieren conceptos, métodos y herramientas específicos para su diseño, análisis y verificación; así como mecanismos para forzar determinadas propiedades en su comportamiento y realizar una implementación de los mismos usando tecnologías hardware y software.

En el grupo se integran investigadores con diversos perfiles de especialización (informática, comunicaciones, matemáticas, estadística, métodos formales y sistemas distribuidos), lo que le permite abordar problemas con una perspectiva transversal y abarcando todas las etapas del ciclo de vida de estos sistemas. En la actualidad el grupo está compuesto por 8 doctores adscritos a la Universidad de Zaragoza, 3 doctores colaboradores de universidades extranjeras, y 1 estudiante de doctorado.

© 2019 Instituto Universitario de Investigación en Ingeniería de Aragón - Universidad de Zaragoza | Policy