Nombre: INGENIERÍA DE PROTOCOLOS
Código: 505103007
Carácter: Obligatoria
ECTS: 4.5
Unidad Temporal: Cuatrimestral
Despliegue Temporal: Curso 3º - Segundo cuatrimestre
Menciones/Especialidades:
Lengua en la que se imparte: Castellano
Carácter: Presencial
Nombre y apellidos: BURRULL I MESTRES, FRANCESC
Área de conocimiento: Ingeniería Telemática
Departamento: Tecnologías de la Información y las Comunicaciones
Teléfono: 968325365
Correo electrónico: francesc.burrull@upct.es
Horario de atención y ubicación durante las tutorias:
Titulaciones:
Categoría profesional: Profesor Titular de Escuela Universitaria
Nº de quinquenios: 5
Nº de sexenios: 0
Curriculum Vitae: Perfil Completo
[CG3 ]. 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.
[T3 ]. Capacidad de construir, explotar y gestionar servicios telemáticos utilizando herramientas analíticas de planificación, de dimensionado y de análisis
[T4 ]. Capacidad de describir, programar, validar y optimizar protocolos e interfaces de comunicación en los diferentes niveles de una arquitectura de redes
[T6 ]. Capacidad de diseñar arquitecturas de redes y servicios telemáticos
[T7 ]. Capacidad de programación de servicios y aplicaciones telemáticas, en red y distribuidas
[TR4 ]. Utilizar con solvencia los recursos de información
[TR5 ]. Aplicar a la práctica los conocimientos adquiridos
Al finalizar el plan formativo, el estudiante debe ser capaz de:
Abordar el análisis y síntesis de protocolos de comunicaciones a nivel teórico.
Abordar la utilización de herramienta CASE para la validación y simulación de protocolos de comunicaciones a nivel práctico.
Técnicas formales para la descripción y validación de protocolos.<br>
Bloque I.-
0. Presentación.
1. Introducción.
2. Estructura de los protocolos.
Bloque II.-
3. Control de Errores, Repaso.
4. Control de Flujo. Repaso.
5. Modelos de Validación de Protocolos.
Bloque III.-
6. Requerimientos de Corrección (correctness).
7. Diseño de Protocolos.
8. Máquinas de Estado Finito (FSM).
Bloque IV.-
9. Test de Conformidad.
10. Síntesis de Protocolos.
11. Validación de Protocolos
Demongame. Validación SDL
Introducción a la herramienta validador de IBM Rational suite SDL
Demongame. Simulación SDL
Introducción a la herramienta simulador de IBM Rational suite SDL
Protocolo Aloha ranurado N nodos. Validación, simulación y medidas
Edición mediante la plataforma de IBM Rational suite SDL del protocolo aloha ranurado. Validación, simulación y obtención de resultados
La Universidad Politécnica de Cartagena considera como uno de sus principios básicos y objetivos fundamentales la promoción de la mejora continua de las condiciones de trabajo y estudio de toda la Comunidad Universitaria. Este compromiso con la prevención y las responsabilidades que se derivan atañe a todos los niveles que integran la Universidad: órganos de gobierno, equipo de dirección, personal docente e investigador, personal de administración y servicios y estudiantes. El Servicio de Prevención de Riesgos Laborales de la UPCT ha elaborado un "Manual de acogida al estudiante en materia de prevención de riesgos" que puedes encontrar en el Aula Virtual, y en el que encontraras instrucciones y recomendaciones acerca de cómo actuar de forma correcta, desde el punto de vista de la prevención (seguridad, ergonomía, etc.), cuando desarrolles cualquier tipo de actividad en la Universidad. También encontrarás recomendaciones sobre cómo proceder en caso de emergencia o que se produzca algún incidente. En especial, cuando realices prácticas docentes en laboratorios, talleres o trabajo de campo, debes seguir todas las instrucciones del profesorado, que es la persona responsable de tu seguridad y salud durante su realización. Consúltale todas las dudas que te surjan y no pongas en riesgo tu seguridad ni la de tus compañeros.
Block I.-
0. Presentation.
1. Introduction.
2. Structure of the protocols.
Block II.-
3. Error Control, Review.
4. Flow Control. Review.
5. Protocol Validation Models
Block III.-
6. Correction Requirements (correctness).
7. Protocol Design.
8. Finite State Machines (FSM)
Block IV.-
9. Conformity Test.
10. Synthesis of Protocols.
11. Protocol Validation
Clase en aula convencional: teoría, problemas, casos prácticos, seminarios, etc
Clase de teoría síncrona
Clase orientada a la resolución de problemas y caso de estudio
24
100
Clase en laboratorio: prácticas
Clase práctica en laboratorio
14
100
Clase en campo o aula abierta (visitas técnicas, conferencias, etc.). En general, actividades que requieren de unos recursos o de una planificación especiales
Clase práctica en laboratorio
Presentación de trabajos ante el profesor
4
100
Actividades de evaluación (sistema de evaluación continua)
Realización de pruebas de evaluación (tiempo de duración de los exámenes y otras pruebas de evaluación en el aula)
3
100
Trabajo del estudiante: estudio o realización de trabajos individuales o en grupo
Preparación de trabajos y ejercicios (incluye tiempo para consulta bibliográfica y documentación)
Estudio personal o en grupo de alumnos
90
0
Trabajo práctico de laboratorio
Se requiere que el alumno realice 2 tutoriales en el laboratorio e implemente el protocolo Aloha ranurado en SDL
20 %
Exámenes escritos y/u orales (evaluación de contenidos teóricos y/o aplicados de la asignatura)
Exámenes escritos y / u orales (evaluación de los contenidos teóricos y / o aplicados del tema). Uno a mitad del semestre y uno al final.
60 %
Entregables de ejercicios y/o prácticas
Entregable de la práctica Aloha Ranurado: Códigos, validación, simulación y resultados de la ejecución. Comparación con el modelo teórico. Se hará una entrevista individual a cada alumno. Se valorará la claridad y corrección de la solución planteada.
20 %
Trabajo práctico de laboratorio
Se requiere que el alumno realice 2 tutoriales en el laboratorio e implemente el protocolo Aloha ranurado en SDL
20 %
Exámenes escritos y/u orales (evaluación de contenidos teóricos y/o aplicados de la asignatura)
Examen final. Si el estudiante no ha aprobado la evaluación continua, se le requiere que haga este examen. Se requiere que el estudiante haya entregado el proyecto Aloha para aprobar.
Si un estudiante que haya superado la evaluación en le sistema de evaluación continua, desea presentarse en el sistema de evaluación final deberá renunciar a la calificación obtenida en el sistema de evaluación continua (Artículo 8.3 del Reglamento de Evaluación para los títulos oficiales de Grado y Máster de la UPCT aprobado en Consejo de Gobierno el 30 de Abril de 2021).
60 %
Entregables de ejercicios y/o prácticas
Entregable de la práctica Aloha Ranurado: Códigos, validación, simulación y resultados de la ejecución. Comparación con el modelo teórico. Se hará una entrevista individual a cada alumno. Se valorará la claridad y corrección de la solución planteada.
20 %
Se requiere una nota mínima de 3 sobre 10 en cada uno de los parciales de teoría para superar la asignatura en evaluación continua.
Autor: Gburynski, Pawel
Título: Protocol design for local and metropolitan area networks
Editorial: Prentice Hall
Fecha Publicación: 1996
ISBN: 0135542707
Autor: Holzmann, Gerard J.
Título: Design and validation of computer protocols
Editorial: Prentice Hall
Fecha Publicación: 1991
ISBN: 0135399254
Autor: Gouda, Mohamed G.
Título: Elements of network protocol design
Editorial: John Wiley & Sons
Fecha Publicación: 1998
ISBN: 0471197440
Recomendaciones ITU (Intl. Telecommunications Union):
Z.100 11/99: "Specification and Description Language" SDL (Inglés)
Z.120 11/99: "Message Sequence Chart" MSC (Inglés)
Z.141 07/01: "The Tree and Tabular Combined Notation version 3¿ TTCN-3 (Inglés)
Copia local de la bibliografía disponible en el aula virtual