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
Lecturer data: BURRULL I MESTRES, FRANCESC
Knowledge area: Ingeniería Telemática
Department: Tecnologías de la Información y las Comunicaciones
Telephone: 968325365
Email: francesc.burrull@upct.es
Office hours and location:
Qualifications/Degrees:
Academic rank in UPCT: Profesor Titular de Escuela Universitaria
Number of five-year periods: 5
Number of six-year periods: 0
Curriculum Vitae: Full Profile
[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.
Class in conventional classroom: theory, problems, case studies, seminars, etc
Theory class is a synchronous activity
Problem solving and case study class
24
100
Class in laboratory: practical classes / internships
Practical class in laboratory
14
100
Class in the field or open classroom (technical visits, lectures, etc.). In general, activities that require special resources or planning
Practical class in laboratory
Presentation of assignments before the professor
4
100
Assessment activities (continuous assessment system)
Performance of evaluation tests (duration of exams and other evaluation tests in the classroom)
3
100
Student work: study or individual or group work
Assignments and exercises require some minimal research on the subject
Personal study is the time the student should take to study class material
90
0
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"