Menú local
Guía docente 2018-19 - 14513005 - Ingeniería de protocolos
TITULACIÓN: | Grado en Ingeniería telemática |
CENTRO: | ESCUELA POLITÉCNICA SUPERIOR (LINARES) |
CURSO: | 2018-19 |
ASIGNATURA: | Ingeniería de protocolos |
NOMBRE: Ingeniería de protocolos | |||||
CÓDIGO: 14513005 | CURSO ACADÉMICO: 2018-19 | ||||
TIPO: Optativa | |||||
Créditos ECTS: 6.0 | CURSO: 3 | CUATRIMESTRE: SC | |||
WEB: http://dv.ujaen.es/docencia/goto_docencia_crs_351481.html |
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 |
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.
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 |
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.
ACTIVIDADES | HORAS PRESENCIALES | HORAS TRABAJO AUTÓNOMO | TOTAL HORAS | CRÉDITOS ECTS | COMPETENCIAS (códigos) |
---|---|---|---|---|---|
A1 - Clases expositivas en gran grupo
|
27.0 | 40.5 | 67.5 | 2.7 |
|
A2 - Clases en grupos de prácticas
|
27.0 | 40.5 | 67.5 | 2.7 |
|
A3 - Tutorias Colectivas
|
6.0 | 9.0 | 15.0 | 0.6 |
|
TOTALES: | 60.0 | 90.0 | 150.0 | 6.0 |
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.
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% |
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.
- 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)
- 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)
Semana | A1 - Clases expositivas en gran grupo | A2 - Clases en grupos de prácticas | A3 - Tutorias Colectivas | Trabajo autónomo | Observaciones | |
---|---|---|---|---|---|---|
Nº 1 28 ene. - 3 feb. 2019 |
1.0 | 1.0 | 0.0 | 3.0 | T1 | |
Nº 2 4 - 10 feb. 2019 |
2.0 | 2.0 | 0.0 | 6.0 | T2.P1 | |
Nº 3 11 - 17 feb. 2019 |
2.0 | 2.0 | 0.0 | 6.0 | T2.P1 | |
Nº 4 18 - 24 feb. 2019 |
2.0 | 2.0 | 1.0 | 7.5 | T2.T3.P1 | |
Nº 5 25 feb. - 3 mar. 2019 |
2.0 | 2.0 | 0.0 | 6.0 | T3.P2 | |
Nº 6 4 - 10 mar. 2019 |
2.0 | 2.0 | 1.0 | 7.5 | T3.P2 | |
Nº 7 11 - 17 mar. 2019 |
2.0 | 2.0 | 0.0 | 6.0 | T4.P3 | |
Nº 8 18 - 24 mar. 2019 |
2.0 | 2.0 | 0.0 | 6.0 | T4.P2 | |
Nº 9 25 - 31 mar. 2019 |
2.0 | 2.0 | 1.0 | 7.5 | T4.T5.P3 | |
Nº 10 1 - 7 abr. 2019 |
2.0 | 2.0 | 0.0 | 6.0 | T5.P4 | |
Nº 11 8 - 14 abr. 2019 |
1.0 | 0.0 | 0.0 | 2.0 | T5.P4 | |
Período no docente: 15 - 21 abr. 2019 | ||||||
Nº 12 22 - 28 abr. 2019 |
1.0 | 2.0 | 1.0 | 5.5 | T6.P4 | |
Nº 13 29 abr. - 5 may. 2019 |
2.0 | 2.0 | 0.0 | 6.0 | T6.P4 | |
Nº 14 6 - 12 may. 2019 |
2.0 | 2.0 | 1.0 | 7.5 | T6.P4 | |
Nº 15 13 - 17 may. 2019 |
2.0 | 2.0 | 1.0 | 7.5 | T7.P5 | |
Total Horas | 27.0 | 27.0 | 6.0 | 90.0 |