Noticias | Informáticas | Programación

Plexil, sistema en el que trabajó, es un lenguaje matemático, apenas en etapa de diseño, que les dará mayor autonomía a las misiones espaciales de la agencia espacial estadounidense.

Lo que se pretende es simplificar el trabajo en la Tierra a partir de la previsión máxima de posibles eventos, algo que se logra mediante la precisión que da la lógica matemática. "Hoy se programan las misioneshasta cierto punto, pero aún requieren las instrucciones humanas para operar", indica Rocha.

El ingenieroestá en Estados Unidos haciendo un doctorado en Ciencias de la Computación en la Universidad de Illinois y su trabajo se basa en la verificación de sistemas concurrentes usando la Lógica de Reescritura, una lógica especial para analizar sistemas que se ejecutan simultáneamente.

Para explicar mejor su trabajo, el joven expone un ejemplo elemental: en un satélite dos programas que están trabajando al tiempo requieren usar la cámara fotográfica, pero cada uno entiende que el otro la está usando y al final ninguno de los dos la aprovecha.

Estos errores, conocidos eningenieríacomo "abrazo mortal",podrían generar eventosverdaderamente catastrófico en el espacio, puesese enredo en los sistemas podría hacer colapsar los aparatos en órbita y generar grandes pérdidas humanas y materiales.

Y fueronjustamente los abrazos mortales uno de los problemas que Rocha detectó en la Nasa, junto con César Muñoz, otro colombiano vinculado con la agencia espacial.

El otro inconveniente que lograron evitar fue el de los ciclos infinitos, que tiene lugar cuando un sistema ejecuta indeseablemente una orden una y otra vez, sin llegar a ningún resultado final.

Noticia completa en El Tiempo (Colombia)