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:
- 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.