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

Resumen

La sincronización temporal es un requisito clave en varios dominios de aplicación basados en sistemas de tiempo real distribuidos. Por ello es un campo de investigación que despierta interés, especialmente en líneas como la transferencia del tiempo y la frecuencia, el diseño de relojes y osciladores, y el uso de sincronización en redes de comunicación. El presente trabajo se centra en la transferencia del tiempo entre elementos de un sistema distribuido para la sincronización 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 método para sincronizar la ejecución de software distribuido en una red de área local. Adicionalmente, se desarrolla el análisis de seguridad funcional del método y se proponen las medidas que tiene que implementar para alcanzar un nivel SIL2. El método se ha implementado y se ha validado ejecutándolo en un sistema distribuido físico realista, obteniendo unos resultados prometedores.