Agenda. Areas de trabajo Trabajos recientes realizados por el grupo. Cursos Trabajos Tutelados. Información de Contacto

Transcripción

1

2 Agenda Areas de trabajo Trabajos recientes realizados por el grupo. Cursos Trabajos Tutelados. Información de Contacto

3 Areas de Trabajo Redes de dispositivos Instrumentación científica Control de procesos Aplicaciones móviles Domótica

4 Areas de Trabajo, Control de Recursos Seguridad Tiempo Real y Empotrados Fiabilidad Aplicación TECNICAS Middleware Hardware + HERRAMIENTAS METODOLOGÍAS

5 Areas de Trabajo Principios de Ingeniería de Software con aplicación al desarrollo de sistemas concurrentes, de tiempo real y empotrados: Especificación formal, verificación automática de software. Modelado de procesos de aplicación empresarial. Modelado de sistemas biológicos. Desarrollo de software dirigido por modelos.

6 Areas de Trabajo Plataformas software para entornos empotrados y dispositivos móviles Middleware para integración de redes, servicios y sistemas Sistemas domóticos ubicuos y de inteligencia ambiental Sistemas distribuidos de medición e instrumentación

7 Modelado Verificación Especificación y verificación formal de sistemas software. Desarrollo de sistemas dirigido por modelos. Análisis funcional y temporal de sistemas.

8 Modelado Verificación Medistam+Rt Método para el Diseño de Sistemas basado en Transformación Analítica de Modelos de Tiempo Real La infraestructura de desarrollo MEDISTAM RT permite llevar a cabo la verificación formal de STR.

9 Modelado de Sist. Biológicos Hybrid Automata Se ha desarrollado un modelo matemático del cambio de metabolismo de los triglicéridos en sangre en la última etapa del embarazo Permite predecir la evolución de la tasa de triglicéridos en distintas condiciones de salud de la madre Utilización de Ingeniería de Software de STR con excelentes resultados en modelado y simulación de procesos biológicos Modelado Verificación

10 Plataforma Software para Entornos Empotrados y moviles Sistemas en los que es necesario un control de recursos disponibles: consumo, memoria, procesamiento, etc. Desarrollo, despliegue, depuración, uso y evaluación de las infraestructuras software que interactúan con el hardware. Sistemas operativos componentizables y de tiempo real, firmware, controladores, núcleos de tiempo real, stacks, máquinas virtuales, etc.

11 Plataforma Soft. para Sist. Empotrados y moviles JavaES JavaES (Java for Embedded System) proporciona una plataforma flexible, versátil y robusta basada en Java para el desarrollo de aplicaciones sobre una amplia gama de microcontroladores de 8, 16 y 32 bits con recursos limitados.

12 Plataforma Soft. para Sist. Empotrados y moviles Sistemas Móviles DomoSmart Desarrollo de aplicaciones móviles: Android, Symbian, Sensorización, control de dispositivos, cámaras, robots,. Aplicación a AAL, sistemas domóticos, sistemas ubicuos,

13 Sistemas domóticos ubicuos y de inteligencia ambiental Desarrollo de plataformas software abiertas e interoperables. Arquitecturas y tecnologías que posibiliten la integración de servicios, redes y sistemas.

14 OFIDOMO + SCD SCD Lámpara Carabela 1 Carabela 5 Sensor Luz Interfaz Interfaz Interfaz Interfaz az Sistema az Sistema az Sistema az Sistema ma ma ma ma Servicios Servicios Servicios Servicios Carabela 3 Carabela 4 PASARELA Cliente-Servidor RESIDENCIAL Subsistema Servidor Domótico Interfaz Sensor Presencia Persiana Sistema Servicios Cliente-Servidor Tlf. Móvil Subsistema Empotrado PC Interfaz Sensor1 Sensor2 Carabela 2 Carabela 6 Carabela 7 Sistema.. Servicios Actuador1 Actuador2 Climatizador Sensor Temp. Cámara Desarrollo de sistemas de control y automatización domótica basados en arquitecturas centralizadas y descentralizadas Sistemas de control domótico

15 DOHA (Dynamic Open Home Automation) Tendencia actual hacia los espacios de interacción del hogar o espacios habitables. El elemento conceptual principal es el servicio en lugar del dispositivo. Arquitecturas orientadas a servicios (SOA) Características: Naturalidad. Transparencia. No intrusivo Posibilidad de añadir razonamiento en el espacio habitable en lugar de la preprogramación. DOHA proporciona una plataforma de servicios que facilita la integración y colaboración de servicios en base a arquitecturas par a par. Sistemas de control domótico

16 Maquetas domóticas Diseño de maquetas domóticas para la prueba de sistemas y como herramienta docente Sistemas de control domótico

17 Sist. de Instrumentación y Laboratorios Remotos Instrumentos de medida del Laboratorio de Interfases Diseño y modelado de nuevos sistemas flexibles de instrumentación e infraestructuras de control de instrumentos. Diseño de sistemas de instrumentación en colaboración con el grupo de Física de Biocoloides de la UGR: Dinaten: Sistema software de control y medición de parámetros interfaciales como la tensión interfacial y el ángulo de contacto en régimen estático y dinámico con diferentes tipos de configuraciones (gota pendiente, gota sesil). Instrumento multiproposito que funciona como un goniómetro, un tensiómetro, una balanza de superficies o una balanza de superficies de penetración.

18 Sist. de Instrumentación y Laboratorios Remotos JOVIM (Java Open Virtual Instrument Middleware) Bal anza de n Super f i ci es M I D D L E W A R E Elipsómetro Tensi ómet r o Software de Control Buses Digitales Drivers GPIO PC Gest or de Event os PC Di r ect or i o de Servicios de I nst r ument aci ón Cl i ent e PC Red del Laboratorio PC Cl i ent e Pl at af or ma Empot r ada INSTRUMENTO Peltier Higrómetro Camara Motor DISPOSITIVOS Sensor Temperatura Servicio de Al macenami ent o Mi cr oscopi o de Fuer zas At ómi cas Di r ec t or i o de Servicios de I nst r ument aci ón Red Externa Servicio de Puent e Cliente Termostato Desarrollo de un sistema distribuido de medición (DMS) que permite: El acceso remoto y puesta en funcionamiento remota de los instrumentos de medida. Control en tiempo real de dichos instrumentos Obtención de medidas y análisis de los resultados obtenidos. Cl i ent e Cl i ent e INTERNET Cl i ent e ARQUITECTURA DEL SISTEMA

19 RVLab (Remote Virtual Laboratory) deployment Deployment Mo... «device» Camera1 «device» Camera2 «device» cameran «device» Instrument1 rtsp Usb http http «device» Server-Mac/Linux/Windows «device» Instrument2 Usb, IEEE «executionenvironment» Driv er «executionenvironment» :RVLab Bluetooh «device» InstrumentN http http «device» Tablet-Android «device» PC-Mac/Linux/Windows «executionenvironment» Client «executionenvironment» Client RVLab es un framework para el desarrollo y control de un laboratorio virtual y remoto, para lo cual: Gestión y emisión de streaming de video. Facilidad de extensibilidad. Gestión de cualquier instrumento. Sist. de Instrumentación y Laboratorios Remotos

20 Docencia Encuadrados en el Módulo 6 Ingeniería del Software de Sistemas Distribuidos, Empotrados y de Tiempo Real. Cursos Desarrollo de Software para Sistemas Empotrados (3 cr.) Técnicas Avanzadas de Modelado de Sistemas de Control y Telecomunicaciones (2 cr.) Tecnología de Objetos Aplicada al Desarrollo de Aplicaciones Distribuidas y de Tiempo Real (3 cr.)

21 Docencia Encuadrados en el Módulo 6 Ingeniería del Software de Sistemas Distribuidos, Empotrados y de Tiempo Real. Cursos Desarrollo de Software para Sistemas Empotrados (3 cr.) Técnicas Avanzadas de Modelado de Sistemas de Control y Telecomunicaciones (2 cr.) Tecnología de Objetos Aplicada al Desarrollo de Aplicaciones Distribuidas y de Tiempo Real (3 cr.)

22 Trabajos realizados o en realización Trabajo Fin de Máster Plataforma de Servicios Sensibles al Contexto. Aplicación a la Oficina Domótica. Middleware de Planificación Dinámica para Sistemas Empotrados de Tiempo Real.. Diseño y Control de una Centralita Domótica accesible desde Dispositivo Android: Aplicación a la Maqueta Domótica. Framework con soporte de video para laboratorios remotos y virtual: aplicación al laboratorio remoto Domolab. Arquitectura de servicios web para el Control de Sistemas de Automatización Domótica.

23 Trabajos realizados o en realización Trabajo Fin de Máster Desarrollo de un sistema software para una red de sensores utilizando Middleware de sistemas distribuidos y de tiempo real Evaluación con un enfoque de calidad de métodos y herramientas de Ingeniería de Software de aplicación al desarrollo de sistemas de tiempo real distribuidos. Desarrollo de una plataforma para el diseño de sistemas de control con requerimientos en tiempo real en entornos empotrados basado en Java Fault tolerance in distributed data acquisition systems: Application to XDAQ framework. Towards a Wireless Sensor Network Services Platform for Ambient Assisted Living Systems.

24 Trabajos realizados o en realización Trabajo Fin de Máster Desarrollo de un sistema software para una red de sensores utilizando Middleware de sistemas distribuidos y de tiempo real Evaluación con un enfoque de calidad de métodos y herramientas de Ingeniería de Software de aplicación al desarrollo de sistemas de tiempo real distribuidos. Desarrollo de una plataforma para el diseño de sistemas de control con requerimientos en tiempo real en entornos empotrados basado en Java Fault tolerance in distributed data acquisition systems: Application to XDAQ framework. Towards a Wireless Sensor Network Services Platform for Ambient Assisted Living Systems.

25 Propuesta de Trabajos Trabajo Fin de Máster Sistemas ubicuos y distribuidos sobre paradigmas orientados a servicios. Aplicaciones y servicios para sistemas móviles. Plataformas software para entornos empotrados, de tiempo real y móviles. Herramientas de modelado para el diseño de sistemas software. Sistemas de interés en Domótica, Redes de Sensores, Inteligencia ambiental, Robótica, Sistemas Industriales y de instrumentación.

26 Trabajo Fin de Máster Virtualización de proveedores de servicios para Cloud computing" Desarrollo de software para empotrados con mínima sobrecarga" Sistema para medida de la eficiencia deportiva con empotrados" Modelado de redes adhoc inalámbricas utilizando algoritmos de agrupamientos de nodos sin colisiones" Propuesta de Trabajos

27 Contacto Manuel Capel Tuñón: Despacho A 37 (3ª Planta) Tf.: Horas de tutoría: L X J: 10:00 11:00hrs y L : 16:00 19:00 hrs manuelcapel@ugr.es Juan Antonio Holgado Terriza: Despacho A 13 (3ª Planta) Tf.: Horas de tutoría: L J: 11:00 14:00hrs jholgado@ugr.es Página del Grupo TIC 157 :