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

El I3A
Investigadores del I3A
El I3A
Laboratorio del I3A
El I3A
Edificio I+D+i
El I3A
Universidad de Zaragoza
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.

Línea de Investigación

Tecnologías de la Información y la Comunicación

Modelos formales para sistemas complejos: Modelado, Análisis y Síntesis

El objetivo se centra en el uso de formalismos y desarrollo de métodos formales para el modelado, análisis (cualitativo y cuantitativo) y síntesis en el diseño de sistemas complejos de distintos...

El objetivo se centra en el uso de formalismos y desarrollo de métodos formales para el modelado, análisis (cualitativo y cuantitativo) y síntesis en el diseño de sistemas complejos de distintos dominios de aplicación. Los modelos construidos pertenecen en su mayoría a la familia de las redes de Petri, aunque otros modelos como las cadenas de Markov, Sistemas de Transiciones o Álgebras de Procesos también son considerados.

En estos momentos la línea se focaliza en los retos tecnológicos que surgen en la carga de los Vehículos Eléctricos como consecuencia de los proyectos de investigación actualmente en curso. Otros dominios de especial atención en la actividad del grupo son 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 (métodos de construcción de filogenia de propósito general).

Tecnologías Industriales

Diseño y operación de procesos de producción y logísticos en los Futuros Sistemas de Fabricación: Conceptos, métodos, tecnologías y herramientas

Se persigue un doble objetivo: La recolección de grandes volumenes de datos para soportar el análisis y la toma de decisiones; y el desarrollo de métodos que permitan cerrar el ciclo de...

Se persigue un doble objetivo: La recolección de grandes volumenes de datos para soportar el análisis y la toma de decisiones; y el desarrollo de métodos que permitan cerrar el ciclo de realimentación entre la producción y el diseño. Los modelos cubren el espectro completo de los sistemas de fabricación, enlazando dinámicamiente transporte y cadenas de suministro, y contemplando los recursos necesarios: máquinas, vehículos, energía, trabajadores, etc.

Integración de las TICS facilitadoras de los Futuros Sistemas de Fabricación

El objetivo es la propuesta de arquitectura que permita abordar los complejos requisitos de los sistemas de manufactura, que van desde las restricciones tiempo real en los sistemas empotrados,...

El objetivo es la propuesta de arquitectura que permita abordar los complejos requisitos de los sistemas de manufactura, que van desde las restricciones tiempo real en los sistemas empotrados, hasta la explotación de la ingente cantidad de datos generados en los dispositivos, la cadena de producción, la cadena de suministros, etc., que deben ser analizados desde diferentes perspectiva. Para ello se aborda desde la integración tecnologías de procesamiento de grandes volúmenes de datos en cloud, con el diseño del control distribuido de sistemas utilizando estándares industriales.

Proyectos Clave

Tecnologías Industriales

Diseño de sistemas de control y monitorización de procesos industriales

Se ha participado en diseño e implementación de diferentes aplicaciones como un sistema de medición de volúmenes en eco-vertederos mediante láser, el sistema de control del , el control del...

Se ha participado en diseño e implementación de diferentes aplicaciones como un sistema de medición de volúmenes en eco-vertederos mediante láser, el sistema de control del , el control del caudal de aire en procesos de secado, la gestión de fallos y mantenimiento preventivo de máquinas herramienta, etc.

Plataforma COSME Platform

COSME es una plataforma basada en el estándar IEC61499 para el diseño y ejecución de software de control distribuido de máquinas herramientas. La herramienta ha sido utilizada en proyectos...

COSME es una plataforma basada en el estándar IEC61499 para el diseño y ejecución de software de control distribuido de máquinas herramientas. La herramienta ha sido utilizada en proyectos industriales reales y el software desarrollado con ella está siendo utilizado en la actualidad en máquinas herramientas suministradas por uno de los principales fabricantes de maquinas para el corte, manipulación, carga y almacenamiento de vidrio plano.

Tecnologías de la Información y la Comunicación

TIN2013-40809. Desarrollo aplicaciones de Flujos de Datos para Agregadores de la carga de VEs basados en requisitos funcionales, no funcionales y recursos

Proyecto del programa “Programa de I+D+i Estatal de Investigación, Desarrollo e innovación Orientada a los Retos de la Sociedad”. En este proyecto se abordan los retos computaciones que surgen...

Proyecto del programa “Programa de I+D+i Estatal de Investigación, Desarrollo e innovación Orientada a los Retos de la Sociedad”. En este proyecto se abordan los retos computaciones que surgen en la carga de vehículos eléctricos. En concreto, se aborda con los aspectos de gestión de la infraestructura de carga de los VE.

Tecnologías Clave

Tecnologías Industriales

Tecnologías Industriales
  • Programación basada en componentes, compliant con el IEC 61499
  • Plataformas basadas en SoC (ej. Raspberry )
  • Buses para interfaz de proceso (ej. EtherCat)
  • ...
  • Programación basada en componentes, compliant con el IEC 61499
  • Plataformas basadas en SoC (ej. Raspberry )
  • Buses para interfaz de proceso (ej. EtherCat)
  • Sistemas "linux-like" con características de tiempo real
  • Ingeniería de software para aplicaciones de control (ej. patrones de diseño)

Tecnologías de la Información y la Comunicación

Tecnologías de la Información y las Comunicaciones
  • Herramientas del Apache Big Data Stack
  • Tecnologías Cloud: Ubuntu MaaS, OpenNebula, OpenStack, AWS, Google Compute.
  • Herramientas de administración y despliegue: Puppet...
  • Herramientas del Apache Big Data Stack
  • Tecnologías Cloud: Ubuntu MaaS, OpenNebula, OpenStack, AWS, Google Compute.
  • Herramientas de administración y despliegue: Puppet, ansible, Saltstack, Ubuntu juju, Vagrant.
© 2017 Instituto Universitario de Investigación en Ingeniería de Aragón - Universidad de Zaragoza | Privacidad