SVN-438

TIC-157: Sistemas concurrentes (SSCC)

El grupo de investigación TIC-157: Sistemas concurrentes está compuesto por un equipo multidisciplinar, entre los cuales hay físicos, ingenieros informáticos y de telecomunicaciones del Departamento de Lenguajes y Sistemas Informáticos de la E.T.S. de Ingenierías Informática y de Telecomunicaciones de la Universidad de Granada

Los objetivos fundamentales del grupo se centran en el estudio de los aspectos teóricos y aplicados del desarrollo del software (métodos, técnicas, lenguajes y herramientas) en sistemas concurrentes, empotrados y de tiempo real, aplicables en especial a dominios como los sistemas de control, de telecomunicaciones, domóticos y de instrumentación.

Sus lineas de investigación son las siguientes:

- Biología de sistemas.

Verificación de software asistido por ordenador

Sistemas domóticos ubicuos y de inteligencia ambiental.

Sistemas distribuidos de medición y de instrumentación.

Plataformas software para entornos empotrados y dispositivos móviles.

Middleware para la integración de redes, servicios y sistemas. 

Métodos formales en sistemas concurrentes

Desarrollo de aplicaciones móviles.

 

Página web del grupo

Mapa

X
-3.6270236995 37.1952071956 -3.6230236995 37.1992071956 1
844 /cms/places/merengue_content_info/73/844/?lang=es 37.1972071956 -3.6250236995 TIC-157: Sistemas concurrentes (SSCC) /media/merengue/img/map/default_map_icon.png 1