Languages

You are here

CPSD

Certificación de Propiedades de Sistemas Distribuidos

Curso optativo, 3 ECTS, 2º cuatrimestre

Profesores:
Gilberto Pérez Vega 3 ECTS 30 h (responsable del curso)
Descripción:

El curso ofrece una visión de algunos métodos y técnicas disponibles para la verificación formal de propiedades de sistemas y, de modo particular, sistemas distribuidos.

Descriptores: Model Checking versus Theorem Proving; propiedades típicas: alcanzabilidad, seguridad, “liveness”, ausencia de abrazos mortales, justicia.

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

Temario:
  1. Introducción.
  2. Model Checking versus Theorem Proving.
  3. Uso de model checking.
  4. Propiedades típicas.
    • Reachability
    • Safety
    • Liveness
    • Ausencia de abrazos mortales
    • Justicia
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 20
B. Exposición oral 25
E. Prueba objetiva (alternativa a B)
C. Tutorías 10
D. Trabajo práctico 20
TOTAL 3 ECTS x 25 h 75
Idioma(s) empleado(s) :

      Castellano.