Universidad de Jaén

Menú local

Guía docente 2017-18 - 14513005 - Ingeniería de protocolos



TITULACIÓN: Grado en Ingeniería telemática
CENTRO: ESCUELA POLITÉCNICA SUPERIOR (LINARES)
CURSO: 2017-18
ASIGNATURA: Ingeniería de protocolos
GUÍA DOCENTE
1. DATOS BÁSICOS DE LA ASIGNATURA
NOMBRE: Ingeniería de protocolos
CÓDIGO: 14513005 CURSO ACADÉMICO: 2017-18
TIPO: Optativa
Créditos ECTS: 6.0 CURSO: 3 CUATRIMESTRE: SC
WEB: http://dv.ujaen.es/docencia/goto_docencia_crs_351481.html
2. DATOS BÁSICOS DEL PROFESORADO
NOMBRE: YUSTE DELGADO, ANTONIO JESÚS
IMPARTE: Teoría - Prácticas [Profesor responsable]
DEPARTAMENTO: U134 - INGENIERÍA DE TELECOMUNICACIÓN
ÁREA: 560 - INGENIERÍA TELEMÁTICA
N. DESPACHO: D - 142 E-MAIL: ajyuste@ujaen.es TLF: -
TUTORÍAS: https://uvirtual.ujaen.es/pub/es/informacionacademica/tutorias/p/58258
URL WEB: -
ORCID: https://orcid.org/0000-0002-9321-1709
3. PRERREQUISITOS, CONTEXTO Y RECOMENDACIONES
PRERREQUISITOS:
-
CONTEXTO DENTRO DE LA TITULACIÓN:

Es una asignatura optativa que se encuentra dentro de la materia denominada Telecomunicación. Esta asignatura realizará una introducción a los métodos de verificación y validación de protocolos de comunicaciones.

RECOMENDACIONES Y ADAPTACIONES CURRICULARES:
- El alumnado que presente necesidades específicas de apoyo educativo, lo ha de notificar personalmente al Servicio de Atención y Ayudas al Estudiante para proceder a realizar, en su caso, la adaptación curricular correspondiente.
4. COMPETENCIAS Y RESULTADOS DE APRENDIZAJE
Código Denominación de la competencia
C.7 Conocimiento y utilización de los fundamentos de la programación en redes, sistemas y servicios de telecomunicación.
CG.2 Conocimiento, comprensión y capacidad para aplicar la legislación necesaria durante el desarrollo de la profesión de Ingeniero Técnico de Telecomunicación y facilidad para el manejo de especificaciones, reglamentos y normas de obligado cumplimiento.
CG.3 Conocimiento de materias básicas y tecnologías, que le capacite para el aprendizaje de nuevos métodos y tecnologías, así como que le dote de una gran versatilidad para adaptarse a nuevas situaciones.
CG.4 Capacidad de resolver problemas con iniciativa, toma de decisiones, creatividad, y de comunicar y transmitir conocimientos, habilidades y destrezas, comprendiendo la responsabilidad ética y profesional de la actividad del Ingeniero Técnico de Telecomunicación
CG.6 Facilidad para el manejo de especificaciones, reglamentos y normas de obligado cumplimiento
CG.9 Capacidad de trabajar en un grupo multidisciplinar y en un entorno multilingüe y de comunicar, tanto por escrito como de forma oral, conocimientos, procedimientos, resultados e ideas relacionadas con las telecomunicaciones y la electrónica
TEL.1 Capacidad de construir, explotar y gestionar las redes, servicios, procesos aplicaciones de telecomunicaciones, entendidas éstas como sistemas de captación, transporte, representación, procesado, almacenamiento, gestión y presentación de información multimedia, desde el punto de vista de los servicios telemáticos.
TEL.7 Capacidad de programación de servicios y aplicaciones telemáticas, en red y distribuidas
 
Resultados de aprendizaje
Resultado Resul-01 No contemplado en la memoria del título
5. CONTENIDOS

Se introducirá a los alumnos en los métodos formales para la verificación y comprobación de protocolos en sistemas distribuidos. Se estudiarán algunas de las técnicas de especificación formal más utilizadas en el ámbito de las telecomunicaciones.
El alumno al finalizar la asignatura deberá ser capaz de diseñar, analizar, validar, verificar de forma consistente y, en última instancia, implementar un protocolo de comunicaciones sobre un entorno distribuido.
Palabras clave: especificación formal, validación y verificación de protocolos.

UNIDADES TEÓRICAS

Tema 1. Introducción.

Protocolos como lenguajes. Normalización de protocolos. Modelo de referencia para la interconexión de sistemas abiertos. Técnicas de Descripción Formal. Modelado. Fases en el proceso de diseño, validación y verificación.

Tema 2. Estructura de protocolos.

Introducción. Ejemplo de un protocolo simple. Elementos de un protocolo. Protocolo de Lynch. Generalidades sobre el diseño. Diez reglas de diseño.

Tema 3. Máquinas de estados finitas.

M.E.F. Comunicación asíncrona entre M.E.F. Modelado de protocolos mediante M.E.F.

Tema 4. PROMELA. 

Procesos concurrentes. Modelado de procesos distribuidos en Promela. 

Tema 5. Criterios de corrección en PROMELA.

Propiedades de corrección. Secuencias teminales y cíclicas. Aserciones. Invariantes del sistema. Deadlocks. Ciclos erróneos y sin progresión. Livelocks. Exigencias temporales. Formulación LTL.

Tema 6. Técnicas de Control de Flujo.

Protocolo XON-XOFF. Protocolo Ping-Pong. Protocolo de ventana deslizante. Protocolo Ping-Pong con time-out. Protocolo del bit alternante. Ventana deslizante. Asentimientos negativos. Congestión.

Tema 7. Lenguajes de especificación visuales.

Introducción. Características SDL. Modelo Teórico. Estructura SDL. Ejemplos.

UNIDADES PRÁCTICAS

Práctica 1. Introducción a PROMELA

Práctica 2. Procesos secuenciales en PROMELA. 

Práctica 3. Procesos concurrentes en PROMELA.

Práctica 4. Verificación de protocolos de comunicación en PROMELA.

Práctica 5. Diseño e implementación de un protocolo de comunicación.

 

6. METODOLOGÍA Y ACTIVIDADES
 
ACTIVIDADES HORAS PRESEN­CIALES HORAS TRABAJO AUTÓ­NOMO TOTAL HORAS CRÉDITOS ECTS COMPETENCIAS (códigos)
A1 - Clases expositivas en gran grupo
  • M1 - Clases expositivas en gran grupo: Clases magistrales
  • M2 - Clases expositivas en gran grupo: Exposición de teoría y ejemplos generales
27.0 40.5 67.5 2.7
  • C.7
  • CG.2
  • CG.3
  • CG.4
  • CG.6
  • CG.9
  • TEL.1
  • TEL.7
A2 - Clases en grupos de prácticas
  • M6 - Clases en grupos de prácticas: Actividades prácticas
  • M9 - Clases en grupos de prácticas: Laboratorios
27.0 40.5 67.5 2.7
  • C.7
  • CG.2
  • CG.3
  • CG.4
  • CG.6
  • CG.9
  • TEL.1
  • TEL.7
A3 - Tutorias Colectivas
  • M15 - Tutorias Colectivas/Individuales: Seminarios
  • M17 - Aclaración de dudas
  • M18 - Tutorias Colectivas/Individuales: Comentarios de trabajos individuales
6.0 9.0 15.0 0.6
  • C.7
  • CG.2
  • CG.3
  • CG.4
  • CG.6
  • CG.9
  • TEL.1
  • TEL.7
TOTALES: 60.0 90.0 150.0 6.0  
 
INFORMACIÓN DETALLADA:

Clases expositivas en gran grupo

Se basan en la explicación de los conceptos teóricos de la asignatura mediante clases magistrales, alternando con la explicación de ejemplos y problemas. A los alumnos se les suministrará material docente a través de la plataforma de Docencia Virtual para el seguimiento de las clases.

Clases expositivas en grupos de prácticas

Se desarrollan en el laboratorio, y se basan en la explicación por parte del profesor de las actividades prácticas en el laboratorio y la realización por parte del alumnado. Al alumno se le suministrará material docente y el guión de las memorias a desarrollar mediante la plataforma de Docencia Virtual.

Tutorías colectivas/individuales

Las tutorías colectivas se emplearán en la resolución de dudas, seguimiento y supervisión de los trabajos y ejercicios así como en la asistencia y participación a diferentes seminarios, charlas, conferencias, talleres y/o jornadas, designados por el profesor, con objeto de completar la formación y la obtención de competencias generales, transversales y/o específicas definidas para esta actividad.

La asistencia, así como la participación activa, respetuosa y responsable, en las actividades antes mencionadas, serán evaluadas según lo dispuesto en el apartado 7 de la presente guía.

7. SISTEMA DE EVALUACIÓN
 
ASPECTO CRITERIOS INSTRUMENTO PESO
Asistencia y/o participación en actividades presenciales y/o virtuales - Participación activa en la clase - Participación activa en los laboratorios - Participación en tutorias grupales e individuales. -Observación y notas del profesor. 10.0%
Conceptos teóricos de la materia -Dominio de los conocimientos teóricos de la materia. - Pruebas de evaluación de teoría (tipo test y de respuesta extensa) 30.0%
Realización de trabajos, casos o ejercicios -Dominio de los conocimientos operativos de la materia. En cada trabajo se analizará:-Estructura. - . -Resolución.- Originalidad. Ortografía y presentación. - Resolución de ejercicios propuestos. 30.0%
Prácticas de laboratorio/campo/uso de herramientas TIC Desarrollo de prácticas. Se valorará la estructura, resolución, originalidad y ortografía. - Entrega de memoria de las prácticas realizadas. 30.0%
El sistema de calificación se regirá por lo establecido en el RD 1125/2003 de 5 de septiembre por el que se establece el sistema europeo de créditos y el sistema de calificaciones en la titulaciones universitarias de carácter oficial
INFORMACIÓN DETALLADA:

Al finalizar el cuatrimestre el alumno podrá elegir entre 2 modalidades de evaluación: CONTINUA o PRUEBA ÚNICA.

EVALUACIÓN CONTINUA

En la modalidad de evaluación continua, ésta se realizará atendiendo a las actividades mostradas en la tabla anterior.

Para aprobar la asignatura, el alumno deberá obtener una calificación igual o superior a 5,0 sobre 10 en el cómputo total de los aspectos evaluados, siempre y cuando éste tenga una calificación igual o superior a 4,0 en cada uno de dichos aspectos.

PRUEBA ÚNICA

En la modalidad de PRUEBA ÚNICA, se realizará un examen que abarcará todos los contenidos de la asignatura, debiéndose garantizar que el alumno ha adquirido las competencias y resultados del aprendizaje establecidos para la misma. El peso que se asignará a cada una de sus dos partes será:

- Asistencia y participación, conceptos teóricos de la materia y realización de trabajos, casos o ejercicios (S1, S2 y S3): 70%.

- Prácticas de laboratorio/ordenador (S4): 30%.

Aquellos alumnos que hubieran superado la parte de prácticas de laboratorio/ordenador de la asignatura (S4) mediante evaluación CONTINUA con una calificación igual o superior a 5,0 sobre 10, no tendrán que realizar la parte correspondiente a este aspecto en el examen, aplicándose la misma calificación obtenida en la evaluación CONTINUA a dicha parte.

Para aprobar la asignatura, el alumno deberá obtener una calificación igual o superior a 5,0 sobre 10 en cada una de las dos partes de esta prueba.

Las partes superadas en cada convocatoria se mantendrán hasta final del curso.

DESCRIPCIÓN DETALLADA DE LA EVALUACIÓN GLOBAL

Para aquellos alumnos cuya evaluación se realice de manera global, ésta se basará en el seguimiento y realización de las actividades englobadas en las cuatro categorías presentadas en el Sistema de Evaluación, que conforman el total de los elementos evaluables de la asignatura:

- S1, Asistencia y participación, 10%.
- S2, Conceptos teóricos de la materia, 30%.
- S3, Realización de trabajos, casos o ejercicios, 30%.
- S4, Prácticas de laboratorio/ordenador, 30%.
Cada uno de estos bloques pasará a ser detallado en los apartados siguientes. 

S1. Asistencia y participación (10%)

En este apartado se evaluarán las competencias CG4, CG6, CG9. Este aspecto se valorará teniendo en cuenta tanto la asistencia y participación en clases, prácticas de laboratorio y tutorías colectivas en las que se asista a seminarios, u otras actividades, que organice el Departamento de Ingeniería de Telecomunicación, E. P. S. de Linares, o Universidad de Jaén y que sean recomendadas por el profesor responsable de la asignatura.

Conceptos teóricos de la materia (30%)

 En este apartado se evaluarán las competencias CG2, CG3, CG4, CG6, CG9, C7, TEL1 y TEL7.

Realización de trabajos, casos o ejercicios (30%)

En este apartado se evaluarán las competencias CG2, CG3, CG4, CG6, CG9, C7, TEL1 y TEL7.

Prácticas de laboratorio/ordenador (30%)

En este apartado se evaluarán las competencias CG2, CG3, CG4, CG6, CG9, C7, TEL1 y TEL7.

 

8. DOCUMENTACIÓN / BIBLIOGRAFÍA
ESPECÍFICA O BÁSICA:
  • The spin model checker [Recurso electrónico] : primer and reference manual. Edición: -. Autor: Holzmann, Gerald J., 1951-.. Editorial: Boston, MA : Addison-Wesley, 2004.  (C. Biblioteca)
  • Principles of the Spin Model Checker [Recurso electrónico]. Edición: -. Autor: Ben-Ari, Mordechai. Editorial: London : Springer-Verlag London Limited, 2008.  (C. Biblioteca)
GENERAL Y COMPLEMENTARIA:
  • Fundamentos de sistemas operativos. Edición: 7ª ed. Autor: Silberschatz, Abraham. Editorial: Madrid : McGraw-Hill, D.L. 2006  (C. Biblioteca)
  • Design and validation of computer protocols. Edición: -. Autor: Holzmann, Gerard J.. Editorial: Upper Saddle River (New Jersey): Prentice Hall, cop. 1991  (C. Biblioteca)
9. CRONOGRAMA (segundo cuatrimestre)
 
Semana A1 - Clases expositivas en gran grupo A2 - Clases en grupos de prácticas A3 - Tutorias Colectivas Trabajo autónomo Observaciones
Nº 1
29 ene. - 4 feb. 2018
1.01.00.0 3.0 T1.
Nº 2
5 - 11 feb. 2018
2.02.00.0 6.0 T2.P1
Nº 3
12 - 18 feb. 2018
2.02.00.0 6.0 T2.P1
Nº 4
19 - 25 feb. 2018
2.02.01.0 7.5 T2.T3.P1
Nº 5
26 feb. - 4 mar. 2018
2.02.00.0 6.0 T3.P2
Nº 6
5 - 11 mar. 2018
2.02.01.0 7.5 T3.P2
Nº 7
12 - 18 mar. 2018
2.02.00.0 6.0 T4.P3
Nº 8
19 - 25 mar. 2018
2.02.00.0 6.0 T4.P2
Período no docente: 26 mar. - 1 abr. 2018
Nº 9
2 - 8 abr. 2018
2.02.01.0 7.5 T4.T5.P3
Nº 10
9 - 15 abr. 2018
2.02.00.0 6.0 T5.P4
Nº 11
16 - 22 abr. 2018
1.00.00.0 2.0 T5.P4
Nº 12
23 - 29 abr. 2018
1.02.01.0 5.5 T6.P4
Nº 13
30 abr. - 6 may. 2018
2.02.00.0 6.0 T6.P4
Nº 14
7 - 13 may. 2018
2.02.01.0 7.5 T7.P5
Nº 15
14 - 20 may. 2018
2.02.01.0 7.5 T7.P5
Total Horas 27.0 27.0 6.0 90.0