Última actualización: 13/05/2016


Curso Académico: 2019/2020

Sistemas Distribuidos de Tiempo Real Avanzados y Ciber-Físicos
(16146)
Titulación: Máster Universitario en Ingeniería Telemática (264)
Escuela de Ingeniería y Ciencias Básicas


Coordinador/a: GARCIA VALLS, MARIA SOLEDAD

Departamento asignado a la asignatura: Departamento de Ingeniería Telemática

Tipo: Optativa
Créditos: 6.0 ECTS

Curso:
Cuatrimestre:




Materias que se recomienda haber superado
Grado en Ingeniería Telemática Grado en Ingeniería de Sistemas Audiovisuales Grado en Tecnologías de las Telecomunicaciones Grado en Informática (y todos sus grados derivados) Grado en Ingeniería Industrial Antiguas licenciaturas e ingenierías técnicas equivalentes
Competencias que adquiere el estudiante y resultados del aprendizaje.
Las competencias adquiridas al cursar esta asignatura son: - Conocer las características de un sistema ciber fisico y de los sistemas distribuidos embarcados y de tiempo real (SDTR). - Conocer los requisitos de desarrollo de los entornos de aplicación: aviónica, automoción, transporte en general, fabricación, telecomunicación y sistemas de control. - Conocer los métodos de desarrollo y análisis de los SDTR. - Conocer las características y mecanismos de funcionamiento de un sistema tolerante a fallos y las arquitecturas específicas para este fin. - Conocer los fundamentos básicos de algunas de las principales técnicas de modelado de SDTR. - Conocer los fundamentos de lenguajes de tiempo real para entornos centralizados y distribuidos. - Conocer los aspectos sobre middleware de tiempo real.
Descripción de contenidos: Programa
Además del bloque introductorio, el contenido se divide en dos grandes bloques: - Fundamentos de los sistemas ciber-físicos (CPS) Relación con los sistemas distribuidos embarcados de tiempo real. - Ejecución determinista y propiedades temporales. - Técnicas seleccionadas de modelado y análisis de CPS. - Programación de alto nivel. - Software de intermediación para sistemas distribuidos confiables. - Tendencias
Actividades formativas, metodología a utilizar y régimen de tutorías
Las actividades que se llevan a cabo en la impartición de la asignatura son: . Clases magistrales. Presentación por parte del profesor de los principales conceptos a modo de resumen enfocados a que el alumno adquiera el contexto general de la materia con un nivel de detalle adecuado a master científico. Se fomentan en este tipo de sesiones tanto la interactividad como la discusión de los principales problemas planteados que fomenten la capacidad de conexión de conceptos. . Lectura y análisis individual de trabajos de investigación punteros y de referencia. Éstas son posteriores a la presentación en detalle de los conceptos fundamentales para la comprensión de los trabajos. . Discusión sobre trabajos de investigación. Sesiones en las que se plantea el análisis conjunto de trabajos seleccionados y de referencia en temas de investigación. . Laboratorios prácticos. Los alumnos realizan un trabajo práctico que permite asimilar de forma aplicada los conceptos fundamentales de la asignatura. Estas sesiones suponen un trabajo adicional del estudiante durante un período de varios días en los que tiene a su disposición a la plantilla docente por múltiples canales para resolver las dudas que se hayan planteado. · Desarrollo de un trabajo final de la asignatura sobre un tema específico.
Sistema de evaluación
  • Peso porcentual del Examen Final 30
  • Peso porcentual del resto de la evaluación 70
Bibliografía básica
  • A. Burns, A. Wellings. . Real-Time Systems and Programming Languages. Fourth Edition. . Addison-Wesley.. 2009
  • Berthomieu, B.; Diaz, M.. "Modeling and verification of time dependent systems using time Petri nets" . IEEE Transactions on Software Engineering , vol.17, no.3, pp.259-273.
  • Giorgio C. Buttazzo. Hard real-time computing systems. Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers. 1997
  • Kopetz, Hermann. Real-time systems : design principles for distributed embedded applications. Kluwer Academics Publishing. 1997
  • OMG. MARTE specification version 1.0 (formal/2009-11-02) http://www.omg.org/spec/MARTE/1.0/PDF. OMG. 2009
  • Paulo Verissimo y Luis Rodrigues. Distributed systems for system architects. Kluwer Academic Publishers. 2001
  • Stankovic, John A.. Deadline scheduling for real-time systems : EDF and related algorithms Stankovic. Kluwer Academic Publishers. 1998

El programa de la asignatura y la planificación semanal podrían sufrir alguna variación por causa de fuerza mayor debidamente justificada o por eventos académicos comunicados con antelación.