Concepción del Tiempo en Ciencias de la Computación

Ponente(s): Saul E Pomares Hernandez, --

Hasta el día de hoy toda solución en ciencias de la computación se basa en uno de los dos conceptos siguientes del tiempo: el tiempo de Newton y la relación Happened-Before de Lamport (HBR). El concepto de tiempo de Newton considera que el tiempo pasa uniformemente y es lineal sin tener en cuenta si algo sucede en el mundo. Lamport considera que el tiempo es lineal, pero no es constante ni el mismo para todos. La relación HBR de Lamport establece un orden temporal entre los eventos en un sistema distribuido sin utilizar relojes físicos. Actualmente en ciencias de la computación, está surgiendo un nuevo tipo de sistemas que se llaman Sistemas Ciberfísicos (CPS), por ejemplo: Sistema de Riego Inteligente, Semáforos Inteligentes y Sistemas de Navegación Cooperativa (por ejemplo, WASE). La principal característica de este tipo de sistemas, y que los diferencía del resto, es que el CPS interactúa con el medio ambiente. Para CPS establecer un orden puramente temporal entre los eventos es necesario, pero no suficiente; ya que el CPS interactúa con el medio ambiente también es estrictamente necesario tener en cuenta dónde se han producido los eventos. A partir de aquí, el concepto de orden temporal debe ser reexaminado para eventos en sistemas distribuidos ciberfísicos mediante la inclusión del dominio espacial. En esta plática se dará un panorama general de las técnicas y algoritmos que existen para la construcción de referencias temporales tanto para la concepción del tiempo de Newton como para la de Lamport, así como los alcances y limitaciones de ambas concepciones para los sistemas ciberfísicos.