Método de sincronización para sistemas distribuidos con singularidad funcional

Abstract

La sincronizacion temporal es un requisito clave en varios dominios de aplicacion basados en sistemas de tiempo real distribuidos. Por ello es un campo de investigacion que despierta interes, especialmente en lineas como la transferencia del tiempo y la frecuencia, el diseno de relojes y osciladores, y el uso de sincronizacion en redes de comunicacion. El presente trabajo se centra en la transferencia del tiempo entre elementos de un sistema distribuido para la sincronizacion de sus relojes y el software que ejecutan. En la actualidad existen diferentes protocolos para sincronizar relojes distribuidos, pero tienen una serie de inconvenientes que los hace inadecuados para determinados tipos de sistemas. En este trabajo se presenta un metodo para sincronizar la ejecucion de software distribuido en una red de area local. Adicionalmente, se desarrolla el analisis de seguridad funcional del metodo y se proponen las medidas que tiene que implementar para alcanzar un nivel SIL2. El metodo se ha implementado y se ha validado ejecutandolo en un sistema distribuido fisico realista, obteniendo unos resultados prometedores.