Máster Universitario en Software y Sistemas

Análisis de Sistemas Concurrentes

Profesor (Coordinador):
Lars-Ake Fredlund
lfredlund@fi.upm.es
Profesor:
Clara Benac
cbenac@fi.upm.es

Semestre

Segundo semestre

Créditos

4 ECTS

Objetivos:

Programa

  1. Sistemas concurrentes y reactivos.
  2. Propiedades de corrección para sistemas concurrentes: breve introducción a lógicas tipo LTL, CTL, autómatas de Büchi, etc.
  3. Verificación de los sistemas concurrentes.
  4. Comprobación de modelos en sistemas concurrentes.
  5. Técnicas de comprobación de modelos y comprobación simbólica de modelos.
  6. Introducción a los sistemas híbridos y de tiempo real.
  7. Herramientas (según disponibilidad de tiempo y necesidades del curso): QuickCheck/PropEr, SPIN, Uppaal, McErlang/Java Pathfinder, nuSMV, etc.

Web de la Asignatura

http://www.software.imdea.org/graduateschool

Prerrequisitos:

Método de Evaluación

Idioma en que se imparte

Inglés

Competencias Específicas

Más información:

Esta tabla muestra el código, la descripción y el nivel de cada una de las competencias específicas de la asignatura

Código Competencia Nivel
CEM4 Analizar y evaluar los diferentes paradigmas y enfoques de ingeniería de construcción y gestión de sistemas basados en software. S

Resultados de Aprendizaje

Más información:

Esta tabla muestra cada el código, la descripción, las competencias asociadas y el nivel de adquisición de cada uno de los resultados de aprendizaje de la asignatura

Código Resultado de Aprendizaje Competencias asociadas Nivel de Adquisición
RA-SRSD-7 Conocer principales protocolos de control de concurrencia y recuperación. CEM4 S

Guía de Aprendizaje

Guía de aprendizaje de la asignatura: Análisis de Sistemas Concurrentes