Diseño de contratos inteligentes independientes de una plataforma para sistemas orientados a blockchains

Descargar versión PDF

Profesores:

Dra. Elizabeth Pérez Cortés

Dr. Humberto Cervantes Maceda

Resumen:

Una cadena de bloques o blockchain es una tecnología que nace como soporte para garantizar transacciones seguras, anónimas, directas, rápidas y baratas de bienes tangibles e intangibles. Muchas plataformas de cadenas de bloques soportan contratos inteligentes (smart contracts). Un contrato inteligente reside en la cadena de bloques y sirve para ejecutar de manera automática una serie de transacciones si un conjunto de condiciones predeterminadas se cumplen.

En nuestro grupo de trabajo estamos explorando los retos involucrados en el desarrollo de software sobre blockchain y, en particular, en este proyecto estamos interesados en construir una herramienta que simplifique la construcción de los contratos inteligentes.

Objetivo general

  • Desarrollar una herramienta que apoye en el diseño y la implementación de contratos inteligentes en distintas plataformas de cadenas de bloques

Objetivos específicos

  • Comprender los modelos de contratos inteligentes disponibles en las plataformas de cadenas de bloques.
  • Definir un meta-modelo de contrato inteligente que permita describir a los modelos existentes en las plataformas de cadenas de bloques.
  • Construir una herramienta que apoye el diseño y la implementación de contratos inteligentes en distintas plataformas.

Detección de objetos perdidos en sistemas RFID aumentados
Diseño de funciones de estimación para sistemas RFID aumentados

Regresar a Proyectos de investigación para alumnos de Maestría

P C y T I