Languages

You are here

MSDC

Modelado de Sistemas Distribuidos y Concurrentes

Curso obligatorio, 6 ECTS, 1er cuatrimestre

Profesores:
David Cabrero Souto 1,5 ECTS 15 h  
Víctor Manuel Gulías Fernández 1,5 ECTS 15 h  
Laura Milagros Castro Souto 1,5 ECTS 15 h  
Alberto Valderruten Vidal 1,5 ECTS 15 h (responsable del curso)



Descripción:

Sistemas distribuidos. Probadores de teoremas. Model checking. Monitorización de Sistemas Distribuidos Modelización para la Evaluación del Rendimiento Técnicas Analíticas y Simulación Patrones de Rendimiento. Teoría de Colas.

Descripción de las competencias: C1, C2, C3, C9

Bibliografía:
  • R. Jain, "The Art of Computer Systems Performance Analysis", Wiley, 1991.
  • C.U. Smith, L.G. Williams, "Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software", Addison Wesley, 2002.
  • T.G. Robertazzi, "Computer Networks and Systems: Queueing Theory and Performance Evaluation", Springer, 2000.
Temario:

PARTE I: MODELADO DE SISTEMAS DISTRIBUIDOS

Descriptores

  • Sistemas distribuidos
  • Probadores de teoremas
  • Model checking

PARTE II: EVALUACIÓN DEL RENDIMIENTO EN SISTEMAS DISTRIBUIDOS

  1.  Metodología de la evaluación del rendimiento
    • Motivación
    • Criterios y parámetros de rendimiento
    • Técnicas de evaluación del rendimiento
    • Monitorización de Sistemas Distribuidos
    • Caracterización de la carga
  2. Modelización para la evaluación del rendimiento
    • Teoría de colas
    • Redes de colas
    • Análisis operacional
    • Análisis numérico
    • Redes de colas extendidas y Simulación
    • Modelización con QNAP2
  3. Integración de la evaluación del rendimiento en el ciclo de vida
    • Ciclo de vida Complement
    • Integración con álgebras de procesos: ejemplo de LOTOS
    • Patrones de rendimiento
  4. Estudio de algunos modelos de rendimiento



Sistemas de evaluación

La evaluación se llevará a cabo mediante
 
-    Elaboración y exposición oral (actvidad formativa B) de resúmenes de artículos, incluyendo trabajo comparativo y evaluación crítica por parte del alumno. Alternativamente: redacción de informes técnicos (technical reports) que presenten resultados sobre problemas planteados por el responsable del curso.

-    Prueba escrita (actividad formativa E) como alternativa a la exposición oral B.

-    Uno o varios trabajos prácticos en laboratorio (actividad formativa D).
 

Planificación de actividades formativas, con la dedicación estimada en horas de trabajo del estudiante:



  Actividad formativa Horas
A. Clases magistrales 50
B. Exposición oral 40
E. Prueba objetiva (alternativa a B)
C. Tutorías 10
D. Trabajo práctico 50
TOTAL 6 ECTS x 25 h 150
Idioma(s) empleado(s) :

-    Inglés: actividades formativas A (50%), B.
-    Castellano: actividades formativas A (50%), C, D y E.