Agenda. Areas de trabajo. Trabajos recientes realizados por el grupo. Cursos Trabajos Tutelados.

Transcripción

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

2 Areas de Trabajo Redes de dispositivos Instrumentación científica Control de procesos Aplicaciones móviles Domótica Miembros MCT: Dr.Manuel Capel Tuñón (Univ.Granada) JHT: Dr.Juan Holgado Terriza (Univ.Granada) JVA: Jaime Viudez Aivar (Junta de Andalucia) LMM: Dr.Luis Mendoza Morales (Univ.Granada) SRV: Sandra Rodríguez Valenzuela(Univ.Granada) JRBA: José Ramón Balsas Almagro (Univ.Jaén) JLMC: Jesús Luís Muros Cobos(Univ.Granada) External fellows : MRL: Dr.Mario Rossainz López (Univ.Puebla) DZ: Dr.Dieter Zoebel (University Koblenz) () CS: Dr.Christoph Steigner (University Koblenz) () ATH: Dr. Antonio Tomeu Hardasmal (Univers.Cádiz)

3 Areas de Trabajo, Tiempo Real y Empotrados Seguridad Control de Recursos Fiabilidad Aplicación TECNICAS C + Middleware + HERRAMIENTAS Hardware METODOLOGÍAS 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.

4 Areas de Trabajo Plataformas software para entornos empotrados y dispositivos móviles Middleware para integración ió de redes, servicios ii y sistemas it Sistemas domóticos ubicuos y de inteligencia ambiental Sistemas distribuidos de medición e instrumentación Medistam+Rt Método para el Diseño de Sistemas basado en Transformación Analítica de Modelosde Tiempo Real La infraestructura de desarrollo MEDISTAM RT permite llevar a cabo la verificación ió formal lde STR El resultado de esta contribución ha dado lugar a múltiples publicaciones: Índice científico Número de documentos Scopus 5 Google Scolar 14 WoK SCI 5 Resultados

5 Time Services Memory Logging Virtual Embedded Platform (VEP) Internal Communications CAN 1-Wire I2C Policies & Configurations CCOREE (Task Scheduler) SPI Events Serialization JavaES Software Layer Hardware Layer VEP REs for VEP 1 VEP 1 VEP 2 VEP 3 VEP RE 2 VEP RE 3 Application Compilation Use API Interface VEP Input/output Module External Communications Customized by VEP Specification Match VEP Configuration Match Compiled Application Instanced using VEP Runtime Environment VEP Status BESS JPSM CESS CESS Repository SunSpot EJC TINI SNAP ajile Specific Embedded System JavaES ES(Java for Embedded dsystems) 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. Resultados Desarrollo de software para WSN ENVIRONMENT MONITORING Integration de requisitos no funcionales para aplicaciones distribuídas ib con criticidad iiid den entornos abiertos Arquitecturas Software para WSN Métodos de evaluación de la calidad del software dirigidos por las arquitecturas software Investigación de nuevos algoritmos para reconfiguración dinámica de WSNs que propicien ahorro de energía

6 Sistema de control domótico SCD Lámpara Carabela 1 Carabela 5 Sensor Luz Interfaz Interfaz Interfaz Interfaz Sistema az Sistema az Sistema az Sistema az Servicios ma Servicios ma Servicios ma Servicios ma Carabela 3 Carabela 4 Cliente-Servidor PASARELA Subsistema Servidor Domótico RESIDENCIAL Sensor Presencia Persiana Interfaz Sistema Servicios Tlf. Móvil Cliente-Servidor PC Subsistema Empotrado Interfaz Sensor1 Sensor2 Carabela 2 Carabela 6 Carabela 7 Sistema Servicios.. Actuador1 Actuador2 Climatizador Sensor Temp. Desarrollo de sistemas de control y automatización domótica basados en arquitecturas centralizadas y descentralizadas d Ofidomo y SCD Sistema de control domótico Cámara Services Net PS Iluminance Service Tendencia actual hacia los espacios de interacción ió del dlhogar o espacios habitables. hbitbl LS Security El elemento conceptual principal es el servicio en Service lugar del dispositivo. Arquitecturas orientadas a servicios (SOA) PS Doors Service LS PS Windows Service Profiles Service CS Customer Service LS User Service Características: Naturalidad. Transparencia. No intrusivo Virtual Ne et Peer A Peer C Peer B Peer E Peer C 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. Net Physic Home Firewall Office DOHA (Dynamic Open Home Automation)

7 Sistema de control domótico Diseño de maquetas domóticas para la prueba de sistemas y como herramienta docente h i t d t Maquetas Domóticas 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

8 Sist. de Instrumentación Diseño y modelado de nuevos sistemas 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 de medida de parámetros interfaciales i 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). El instrumento funcionacomo como ungoniómetro, un tensiómetro, una balanza de superficies o una balanza de superficies Dinaten Sist. de Instrumentación M I D D L E W A R E Bal anza de Super f i ci es 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 Servicio Di r ec t or i o de de Servicios Puent e de I nst r ument aci ón Cliente Mi cr oscopi o de Fuer zas At ómi cas Red Externa 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. Controlentiempo tiempo realde dichosinstrumentos 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 JOVIM (Java Open Virtual Instrument Middleware)

9 Sist. de Instrumentación deployment Deployment Mo... Camera1 Camera2 cameran Instrument1 rtsp Usb http http Server-Mac/Linux/Windows Instrument2 Usb, IEEE «executionenvironment» Driv er «executionenvironment» :RVLab Bluetooh InstrumentN http http Tablet-Android 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 intrumento. RVLab (Remote Virtual Laboratory) 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 AplicadaalDesarrolloal de Aplicaciones Distribuidas y de Tiempo Real (3 cr.)

10 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 AplicadaalDesarrolloal de Aplicaciones Distribuidas y de Tiempo Real (3 cr.) Máster en Desarrollo de Software Desarrollo de Software para Sistemas Empotrados Juan Antonio Holgado Terriza Sistemas Concurrentes +

11 Des. Software para Sist. Empotrados Abordar las cuestiones de diseño de sistemas empotrados atendiendo a las particularidades especiales de este tipo de sistemas en cuanto a sus requerimientos, diseño o programación. Conocer las técnicas de programación, lenguajes y herramientas más utilizadas para la programación de este tipo de sistemas sobre sistemas operativos convencionales o de tiempo real. Estudiar metodologías de diseño de desarrollo de software para entornos empotrados. Realizar pequeños proyectos de sistemas empotrados para casos prácticos realistas de domótica, telecomunicaciones, instrumentación, manufactura,... según los intereses del alumno y su orientación en el master. Objetivos generales Máster en Desarrollo de Software Técnicas Avanzadas de Modelado de Sistemas de Control y Telecomunicaciones Juan Antonio Holgado Terriza Manuel I. Capel Tuñon Sistemas Concurrentes +

12 Técn. Avanzadas de Modelado de Sist. de Control y Telecomunicaciones Obtener la formación necesaria para saber elegir el método específico (de modelado y de especificación de software) más adecuado para el desarrollo de un determinado sistema de control o tl telecomunicaciones. i Aprender a especificar de forma correcta un sistema de control y de telecomunicaciones. Conocer las herramientas y técnicas utilizadas para la generación de código. Utilizar las técnicas y metodologías centradas en el modelado como herramienta para el desarrollo de aplicaciones y de familia de aplicaciones. Objetivos generales Máster en Desarrollo de Software Tecnología de Objetos Aplicada al Desarrollo de Aplicaciones Distribuidas y de Tiempo Real Juan Antonio Holgado Terriza Sistemas Concurrentes +

13 Tecnología de Objetos Aplicada al Desarrollo de Aplicaciones Distribuidas y de Tiempo Real Introducir la tecnología deobjetospara el diseño aplicaciones distribuidas y con características de tiempo real. Presentar sistemas de programación distribuida basados en tecnologías middleware (CORBA, SOAP, J2EE, RMI,.NET, DCOM, ). Ofrecer los fundamentos para el desarrollo de una aplicación distribuida y de tiempo real con diferentes middlewares. Objetivos generales Trabajo Fin de Máster Desarrollo de un sistema software software para una red de sensores utilizando Middleware de sistemas distribuidos y de tiempo real (prof.: Manuel Capel). Evaluación con un enfoque de calidad de métodos y herramientas de Ingeniería desoftware deaplicación al desarrollo desistemas detiemporeal distribuidos. (prof.:manuel Capel). Desarrollo de una plataforma para el diseño de sistemas de control con requerimientosen en tiempo real en entornos empotrados basado en Java (prof.: Juan A. Holgado). Fault tolerance in distributed data acquisition systems: Application to XDAQ framework (prof.: JuanA. Holgado). Towards a Wireless Sensor Network Services Platform for Ambient Assisted Living Systems (prof. Juan A. Holgado). Plataforma de Servicios Sensibles al Contexto. Aplicación a la Oficina Domótica. (prof Juan A. Holgado). Framework con soporte de video para laboratorios remotos y virtual: aplicación al laboratorio remoto Domolab (Prof. Juan A. Holgado). Arquitectura de servicios web para el Control de Sistemas de Automatización Domótica. (Prof. Juan A. Holgado) Trabajos realizados o en realización

14 Proyectos de investigación Proyectos de investigación actuales o acabados: TOWARDS MODAL MODELLING OF BIOLOGICAL SYSTEMS (NIH 2011) UN ENTORNO DE DESARROLLO PARA SISTEMAS DE MEDICIÓN DISTRIBUÍDOS HETEROGÉNEOS (MAT ) DISEÑO Y DESARROLLO DE APLICACIONES BASADAS EN REDES DE SENSORES (CYTED 2009) MAQUETA DOMÓTICA PARA LA PROGRAMACIÓN DE SISTEMAS DOMOLAB (UGR 2011) DESARROLLO DE UN SISTEMA DINÁMICO COLABORATIVO PARA EL CONTROL INTELIGENTE DE OFICINAS (UGR 2011) ORGANIZACIÓN DE LAS XIII JORNADAS NACIONALES DE TIEMPO REAL(MEC JUNTA 2010) Propuestas Datos del grupo El grupo publica en varias revistas internacionales, así como en congresos y conferencia de gran difusión. En los últimos cinco años: 134 publicaciones arbitradas que se dividen en:4 libros, 22 en revistas internacionales (5 artículos JCR), 66 contribuciones a congresos internacionales, 41 contribuciones a congresos nacionales. 2 tesis doctorales, y 4 tesis pendientes de su lectura. 7 proyectos de financiación pública y 3 contratos con empresas. Participación en revistas y en comité de programas de congresos nacionales e internacionales. Diferentes premios y menciones en artículos de investigación.

15 Contacto Manuel lcapel ltuñó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 o Holgado ogadoterriza Despacho A 13 (3ª Planta) Tf.: Horas de tutoría: L X J: 10:00 11:00hrs11:00hrs y L X J : 12:00 13:00 hrs jholgado@ugr.es Página del Grupo TIC 157 :