2026-06-02T06:39:26Zhttps://riuma.uma.es/rest/oai/requestoai:riuma.uma.es:10630/459792026-03-11T00:46:35Zcom_10630_1685col_10630_38055
RIUMA. Repositorio Institucional de la Universidad de Málaga
advisor
Gallardo-Melgarejo, María del Mar
advisor
RIco Marchena, Delia
author
Guerrero Rico, Javier
2026-03-10T09:13:54Z
2025
https://hdl.handle.net/10630/45979
La sincronización precisa del tiempo es esencial en los sistemas distribuidos,
especialmente en redes 5G, automatización industrial y aplicaciones en tiempo
real [1, 2]. El protocolo Precision Time Protocol (PTP), definido en el estándar
IEEE 1588-2019 [3], permite una alineación exacta de los relojes a través de redes
conmutadas por paquetes. Este trabajo presenta un modelo formal del proceso
de sincronización de PTP, desarrollado mediante autómatas temporizados en el
entorno UPPAAL [4].
El modelo se construye bajo condiciones ideales como la ausencia de retardo
en la transmisión de mensajes con el fin de aislar la lógica del protocolo y verificar
su corrección. Se evalúan propiedades de seguridad, vivacidad y convergencia
utilizando técnicas de verificación estadística [5]. Además, se compara el modelo
inspirado en PTP con variantes simplificadas de algoritmos de sincronización ampliamente
conocidos (PID, filtro de Kalman y PLL) [6, 7, 8], evaluando su eficiencia
y robustez.
Los resultados ponen de relieve el potencial de los métodos formales para analizar
protocolos de comunicación, aportando ideas para la optimización de PTP
en sistemas sensibles al tiempo, así como los retos derivados de las limitaciones
de ciertas herramientas a la hora de modelar comportamientos dependientes del
tiempo.
spa
Attribution-NonCommercial-NoDerivatives 4.0 International
Informática - Trabajos Fin de Grado
Grado en Ingeniería Informática - Trabajos Fin de Grado
Análisis de la sincronización del protocolo PTP utilizando Uppaal.
bachelor thesis
MS4gQWNlcHRhbmRvIGVzdGEgbGljZW5jaWEsIHVzdGVkIChlbCBhdXRvci9lcyBvIGVsIHByb3BpZXRhcmlvL3MgZGUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yKSBnYXJhbnRpemEgYSBsYSBVbml2ZXJzaWRhZCBkZSBNw6FsYWdhIGVsIGRlcmVjaG8gbm8gZXhjbHVzaXZvIGRlIGFyY2hpdmFyLCByZXByb2R1Y2lyLCBjb252ZXJ0aXIgKGNvbW8gc2UgZGVmaW5lIG3DoXMgYWJham8pLCBjb211bmljYXIgeS9vIGRpc3RyaWJ1aXIgc3UgZG9jdW1lbnRvIG11bmRpYWxtZW50ZSBlbiBmb3JtYXRvIGVsZWN0csOzbmljby4KCjIuIFRhbWJpw6luIGVzdMOhIGRlIGFjdWVyZG8gY29uIHF1ZSBsYSBVbml2ZXJzaWRhZCBkZSBNw6FsYWdhIHB1ZWRhIGNvbnNlcnZhciBtw6FzIGRlIHVuYSBjb3BpYSBkZSBlc3RlIGRvY3VtZW50byB5LCBzaW4gYWx0ZXJhciBzdSBjb250ZW5pZG8sIGNvbnZlcnRpcmxvIGEgY3VhbHF1aWVyIGZvcm1hdG8gZGUgZmljaGVybywgbWVkaW8gbyBzb3BvcnRlLCBwYXJhIHByb3DDs3NpdG9zIGRlIHNlZ3VyaWRhZCwgcHJlc2VydmFjacOzbiB5IGFjY2Vzby4KCjMuIERlY2xhcmEgcXVlIGVsIGRvY3VtZW50byBlcyB1biB0cmFiYWpvIG9yaWdpbmFsIHN1eW8geS9vIHF1ZSB0aWVuZSBlbCBkZXJlY2hvIHBhcmEgb3RvcmdhciBsb3MgZGVyZWNob3MgY29udGVuaWRvcyBlbiBlc3RhIGxpY2VuY2lhLiBUYW1iacOpbiBkZWNsYXJhIHF1ZSBzdSBkb2N1bWVudG8gbm8gaW5mcmluZ2UsIGVuIHRhbnRvIGVuIGN1YW50byBsZSBzZWEgcG9zaWJsZSBzYWJlciwgbG9zIGRlcmVjaG9zIGRlIGF1dG9yIGRlIG5pbmd1bmEgb3RyYSBwZXJzb25hIG8gZW50aWRhZC4KCjQuIFNpIGVsIGRvY3VtZW50byBjb250aWVuZSBtYXRlcmlhbGVzIGRlIGxvcyBjdWFsZXMgbm8gdGllbmUgbG9zIGRlcmVjaG9zIGRlIGF1dG9yLCBkZWNsYXJhIHF1ZSBoYSBvYnRlbmlkbyBlbCBwZXJtaXNvIHNpbiByZXN0cmljY2nDs24gZGVsIHByb3BpZXRhcmlvIGRlIGxvcyBkZXJlY2hvcyBkZSBhdXRvciBwYXJhIG90b3JnYXIgYSBsYSBVbml2ZXJzaWRhZCBkZSBNw6FsYWdhIGxvcyBkZXJlY2hvcyByZXF1ZXJpZG9zIHBvciBlc3RhIGxpY2VuY2lhLCB5IHF1ZSBlc2UgbWF0ZXJpYWwgY3V5b3MgZGVyZWNob3Mgc29uIGRlIHRlcmNlcm9zIGVzdMOhIGNsYXJhbWVudGUgaWRlbnRpZmljYWRvIHkgcmVjb25vY2lkbyBlbiBlbCB0ZXh0byBvIGNvbnRlbmlkbyBkZWwgZG9jdW1lbnRvIGVudHJlZ2Fkby4KCjUuIFNpIGVsIGRvY3VtZW50byBzZSBiYXNhIGVuIHVuYSBvYnJhIHF1ZSBoYSBzaWRvIHBhdHJvY2luYWRhIG8gYXBveWFkYSBwb3IgdW5hIGFnZW5jaWEgdSBvcmdhbml6YWNpw7NuIGRpZmVyZW50ZSBkZSBsYSBVbml2ZXJzaWRhZCBkZSBNw6FsYWdhLCBzZSBwcmVzdXBvbmUgcXVlIHNlIGhhIGN1bXBsaWRvIGNvbiBjdWFscXVpZXIgZGVyZWNobyBkZSByZXZpc2nDs24gdSBvdHJhcyBvYmxpZ2FjaW9uZXMgcmVxdWVyaWRhcyBwb3IgZXN0ZSBjb250cmF0byBvIGFjdWVyZG8uCgo2LiBMYSBVbml2ZXJzaWRhZCBkZSBNw6FsYWdhIGlkZW50aWZpY2Fyw6EgY2xhcmFtZW50ZSBzdS9zIG5vbWJyZS9zIGNvbW8gZWwvbG9zIGF1dG9yL2VzIG8gcHJvcGlldGFyaW8vcyBkZSBsb3MgZGVyZWNob3MgZGVsIGRvY3VtZW50bywgeSBubyBoYXLDoSBuaW5ndW5hIGFsdGVyYWNpw7NuIGRlIHN1IGRvY3VtZW50byBkaWZlcmVudGUgYSBsYXMgcGVybWl0aWRhcyBlbiBlc3RhIGxpY2VuY2lhLgo=
URL
https://riuma.uma.es/bitstreams/5d7976d7-b9b4-490e-9d07-1afb58401625/download
File
MD5
c6178b48984ed2881b02a56c0adab9b8
1333710
application/pdf
Guerrero Rico, Javier Memoria.pdf