Novedades

Hola,

Este año PEDECIBA hace un llamado dirigido a estudiantes de grado que quieran tener una primera experiencia en investigación.

El grupo Laboratorio de Integración de Sistemas (LINS) tiene una propuesta asociada a este llamado en el área de interoperabilidad en Blockchain, cuya descripción dejamos al final del mensaje. En esta propuesta se apunta a trabajar en colaboración con el grupo SATP de la IETF, por lo que también habrá un acercamiento internacional con la industria.

Por consultas sobre esta propuesta pueden escribir a Guzmán Llambías (gllambi@fing.edu.uy). Agradecemos también la difusión a quienes consideren que les puede interesar.

En la siguiente página pueden encontrar más información sobre el llamado, así como de otras propuestas también vinculadas al llamado: https://www.pedeciba.edu.uy/es/noticia/primera-experiencia-de-investigacion-prexi-2024-convocatoria-a-estudiantes-de-grado-108/

La convocatoria cierra este viernes 26 de julio de 2024 a las 17 horas (GMT -3).

saludos,
Laura

Descripción de la propuesta

La interoperabilidad en blockchain es uno de los principales desafíos que tiene esta tecnología. Normalmente, las blockchains no poseen mecanismo que les permitan interoperar con otras blockchains u otros sistemas. En los últimos años, la industria y la academia propusieron con cierto grado de éxito diferentes soluciones para resolver este desafío. Sin embargo, aún no existe un estándar que permita interopear blockchains de igual manera que los sistemas de información tradicionales utilizan Web Services SOAP o APIs Restful. Existen iniciativas de estandarización, pero aún se encuentran en etapa de desarrollo o no tienen una adopción masiva por parte de los principales proveedores de soluciones de interoperabilidad. Una de estas iniciativas es la que viene llevando adelante la Internet Engineering Task Force (IETF) con el protocolo Secure Asset Transport Protocol (SATP). Este protocolo permite el intercambio de activos digitales entre plataformas de blockchain y ha sido implementado por los productos Hyperledger Cacti y Quant. Sin embargo, el diseño y desarrollo de una solución de interoperabilidad para blockchains es compleja, y errores en su implementación han costado millones de dólares a los principales proveedores de soluciones de interoperabilidad. Por otro lado, la aplicación de métodos formales como estrategia de verificación de sistemas ha demostrado ser una herramienta eficaz en la identificación de errores de diseño en etapas tempranas del desarrollo. En ese sentido, Event-B es un método formal para la verificación de sistemas que pueden ser modelados como sistemas discretos, como lo puede ser el protocolo SATP. Dos de las principales propiedades que interesa demostrar, son las propiedades de "safety" y "liveness". La propiedad de safety asegura que no ocurrirá un evento que deje al sistema en un estado no deseado, mientras que la propiedad de liveness implica que un sistema eventualmente alcanzará un estado en algún momento de tiempo. En ese sentido, esta propuesta tiene como objetivo general avanzar en la formalización del protocolo SATP utilizando Event-B. Para cumplir con este objetivo general, se plantean los siguientes objetivos específicos: 1) Analizar el protocol SATP y comprender su comportamiento; 2) proveer una primera versión de la especificación del protocolo SATP con Event-B; 3) escritura de un reporte técnico con los resultados alcanzados. Por otro lado, sería deseable poder avanzar en la identificación de propiedades de safety y liveness, junto con su especificación en Event-B. Avanzar en la formalización del protocolo SATP lo posiciona como un candidato sólido y confiable para convertirse en un estándar de interoperabilidad para blockchain.