IBM premia un desarrollo argentino de verificación de software

Recientemente se divulgó la noticia sobre la obtención de uno de los 65 Eclipse Faculty Awards por parte de un investigador argentino, Alfredo Olivero, del Centro de Estudios Avanzados de la Universidad Argentina de la Empresa (UADE). El premio es otorgado por IBM en todo el mundo para promover la labor de los investigadores universitarios dedicados a la comunidad de código abierto Eclipse, y está compuesto por 15.000 dólares para la financiación del proyecto.

Canal AR dialogó con Olivero. ¿En qué consiste su proyecto premiado?

- Estoy trabajando en el tema de herramientas para la verificación de software desde hace más de 10 años, cuando desarrollé mi tesis doctoral. Estas herramientas, focalizadas en la validación y supervisión de software crítico, fueron evolucionando durante estos años y en la actualidad las sigo desarrollando conjuntamente con el grupo de investigadores de la UBA. En este momento los diferentes componentes que tenemos (editores de modelos y propiedades, verificadores, simuladores, etc), están poco integrados, es decir, cada vez que realizamos alguna tarea específica tenemos que compatibilizar manualmente la salida de una herramienta para que pueda formar parte de la entrada de la siguiente en la "cadena" de validación. Lo que se propone en el proyecto que fue premiado es integrar todas estas herramientas en un marco único, en este caso la plataforma Eclipse, para que sean mucho más fáciles de usar, en un ambiente común, donde se automatice la mayor cantidad de pasos y la intervención del usuario sea mínima.

El proyecto de Olivero, uno de los tres latinoamericanos en obtener el premio de IBM este año, tiene por objetivo garantizar el correcto funcionamiento de sistemas de actividad crítica, como por ejemplo sistemas de monitoreo de pacientes en hospitales, control automatizado de tránsito en autopistas, sistemas controladores de vuelo, controles de seguridad, entre otros. "Este tipo de desarrollos se utilizan mucho en lo que se denomina software crítico, programas que cumplen una actividad en la cual no se pueden tener fallas".

- ¿Es un desarrollo exclusivamente tuyo?

- No exactamente. Yo soy el director del proyecto, pero también participa el grupo que mencioné de la UBA, encabezado por el Dr. Braberman, además de algunos alumnos que están trabajando conmigo en UADE.

- ¿Tuvieron que postularse para obtener el premio?

- Sí, es una postulación que se hace a nivel mundial. IBM abre una convocatoria todos los años. Esta es la tercera edición.

- ¿Cuál es el objetivo del premio?

- Financiar las actividades previstas en el proyecto para que se cumplan las etapas comprometidas en la propuesta. Se espera además que los premiados asistan a una reunión anual para presentar los resultados obtenidos.

Si quiere conocer más sobre los premios Eclipse Faculty Awards haga click aquí. Para conocer más sobre Eclipse haga click aquí.