Name: PROTOCOL ENGINEERING
Code: 505103007
Type: Compulsory
ECTS: 4.5
Length of subject: Per term
Semester and course: 3rd Year - Second term
Speciality:
Language: English
Mode of study: On-site class
[CG3 ]. Knowledge of basic subjects and technologies which enables the student to learn new methods and technologies, and gives them great versatility to adapt to new situations
[T3 ]. Ability to build, operate and manage telematic services using analytical planning, sizing and analysis tools.
[T4 ]. Ability to describe, program, validate and optimize communication protocols and interfaces at different levels of a network architecture.
[T6 ]. Ability to design network architectures and telematic services.
[T7 ]. Ability to program network and distributed telematic services and applications.
[TR4 ]. Using information resources responsibly
[TR5 ]. Putting the acquired knowledge into practice
At the end of the training plan, the student must be able to: Address the analysis and synthesis of communication protocols at a theoretical level. Address the use of the CASE tool for the validation and simulation of communication protocols at a practical level.
Formal techniques for the description and validation of protocols.
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
Demongame. SDL Validation
Introduction to the IBM validator tool Rational SDL suite
Demongame. SDL Simulation
Introduction to the IBM simulator tool Rational SDL suite
Protocol slotted Aloha N nodes. Validation, Simulation and measurements
Editing using the IBM Rational platform SDL suite of the slotted Aloha protocol. Validation, Simulation and obtaining results
Promoting the continuous improvement of working and study conditions of the entire university community is one the basic principles and goals of the Universidad Politécnica de Cartagena. Such commitment to prevention and the responsibilities arising from it concern all realms of the university: governing bodies, management team, teaching and research staff, administrative and service staff and students. The UPCT Service of Occupational Hazards (Servicio de Prevención de Riesgos Laborales de la UPCT) has published a "Risk Prevention Manual for new students" (Manual de acogida al estudiante en materia de prevención de riesgos), which may be downloaded from the e-learning platform ("Aula Virtual"), with instructions and recommendations on how to act properly, from the point of view of prevention (safety, ergonomics, etc.), when developing any type of activity at the University. You will also find recommendations on how to proceed in an emergency or if an incident occurs. Particularly when carrying out training practices in laboratories, workshops or field work, you must follow all your teacher's instructions, because he/she is the person responsible for your safety and health during practice performance. Feel free to ask any questions you may have and do not put your safety or that of your classmates at risk.
Personal study (group or individual)
45
0
Preparation of assignments and exercises (includes time for bibliographic consultation and documentation)
45
0
Theory class
16.5
100
Problem solving and case study class
7.5
100
Practical class in laboratory
15
100
Presentation of assignments before the professor
3
100
Performance of evaluation tests (duration of exams and other evaluation tests in the classroom)
3
100
Practical laboratory assignment
The student is required to perform 2 tutorials in the lab and implementing the Slotted Aloha protocol in SDL
20 %
Written and/or oral exams (assessment of theoretic and/or applied subject contents)
Written and / or oral exams (evaluation of theoretical and / or applied contents of the subject). One in the middle of the semester and one at the end,
60 %
Delivery of exercises and / or practices
Deliverables of exercises and / or laboratory practices, Deliverable from the slotted Aloha lab: Codes, validation, simulation and results of the execution. Comparison with the theoretical model. There will be an individual interview to each student. The clarity and correctness of the solution proposed will be evaluated.
20 %
Practical laboratory assignment
The student is required to perform 2 tutorials in the lab and implementing the Slotted Aloha protocol in SDL
20 %
Written and/or oral exams (assessment of theoretic and/or applied subject contents)
Written and / or oral exams (evaluation of theoretical and / or applied contents of the subject). One in the middle of the semester and one at the end,
A student who has passed the assessment in the continuous evaluation system, you want appear in the final evaluation system must renounce the grade obtained in the continuous evaluation system (Article 8.3 of the Evaluation Regulation for Official Bachelor's and Master's degree from the UPCT approved by the Governing Council on April 30 2021).
60 %
Delivery of exercises and / or practices
Deliverables of exercises and / or laboratory practices, Deliverable from the slotted Aloha lab: Codes, validation, simulation and results of the execution. Comparison with the theoretical model. There will be an individual interview to each student. The clarity and correctness of the solution proposed will be evaluated.
20 %
Author: Gburynski, Pawel
Title: Protocol design for local and metropolitan area networks
Editorial: Prentice Hall
Publication Date: 1996
ISBN: 0135542707
Author: Holzmann, Gerard J.
Title: Design and validation of computer protocols
Editorial: Prentice Hall
Publication Date: 1991
ISBN: 0135399254
Author: Gouda, Mohamed G.
Title: Elements of network protocol design
Editorial: John Wiley & Sons
Publication Date: 1998
ISBN: 0471197440
ITU (Intl. Telecommunications Union) Recommendations:
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)
Local copy available at "Aula Virtual"