Tras aprender de la experiencia de desarrollo de expertos como @zhuoning293 y @NetLayerLabs, intenté desarrollar por mi cuenta un sistema de simulación de estrategias robóticas construido con puertas lógicas.
TapeRover, un proyecto de pruebas de simulación desarrollado sobre el protocolo TapeOut.
Me encargué de todo: diseño web, creación de mapas, circuitos de puertas lógicas, escenarios de simulación, reglas de diseño, parámetros de prueba, verificación de reglas y despliegue de contratos inteligentes, entre otras tareas. Por supuesto, conté con la ayuda de la IA. Me llevó casi un mes, y solo el diseño del logotipo tomó seis días.
El logotipo es muy elegante: un leopardo mecánico con circuitos integrados, una mirada eléctrica y una presencia imponente, lleno de tecnología y fuerza.
¿Qué es TapeRover?
TapeRover es un laboratorio de estrategias de seguridad robótica verificables. Actualmente, su protagonista es un pequeño vehículo de reparto en un campus que aparece en una página web. Los usuarios pueden elegir o editar mapas, simular condiciones complejas de circulación, como curvas, caminos estrechos, baches y acumulaciones de agua, configurar obstáculos fijos o móviles, peatones y niveles de batería, y luego observar cómo el vehículo avanza, reduce la velocidad, regresa o se detiene.
También se pueden demostrar algunas reglas básicas de circulación, como semáforos, peatones en pasos de cebra, detenerse para ceder el paso, límites de velocidad y señales de prohibición de paso o de giro. La página muestra si se debe avanzar, reducir la velocidad o detenerse en función de las condiciones del escenario. Se trata de entradas estructuradas para una simulación web, no de reconocimiento automático de señales de tráfico reales ni de una verificación completa de las normas de circulación.
Además, cuenta con un diseño especial: las reglas de seguridad se codifican en un circuito compuesto por puertas lógicas NAND. Cuando el vehículo realiza una tarea, la página muestra las entradas del circuito, el estado de las puertas y la salida final. Así, después de ver que «el vehículo se detuvo», los usuarios pueden preguntarse también: ¿qué condición provocó la parada? ¿La decisión se ajustó a las reglas publicadas de antemano?
El proyecto actual también ofrece herramientas para comparar estrategias, reproducir decisiones y verificar reglas. Los usuarios pueden ejecutar dos conjuntos de parámetros en el mismo escenario y comparar los resultados; también pueden comprobar si las reglas se comportan de manera coherente con distintas combinaciones de entradas.
¿Para qué sirve?
Para aprender reglas de seguridad robótica. Los principiantes pueden comprender conceptos como esquivar obstáculos, realizar una parada de emergencia y regresar cuando la batería está baja mediante mapas y vehículos, de forma más intuitiva que limitándose a estudiar fórmulas.
Para simular condiciones complejas de circulación y reglas básicas de tráfico. Se pueden modificar las condiciones de la vía, los semáforos y las reglas de prioridad en escenarios con curvas, obstáculos e intersecciones, y observar cuándo el vehículo avanza, reduce la velocidad o se detiene.
Para diseñar y comparar estrategias. Los desarrolladores pueden cambiar el mapa, el tamaño del vehículo o los parámetros de las reglas, observar su comportamiento en distintas condiciones y utilizar las reproducciones para analizar por qué se tomó una decisión concreta.
Para validar ideas antes de comprar hardware. No hacen falta una placa de desarrollo, sensores ni motores para realizar experimentos en la página web. El proyecto también ofrece reglas en C para el dispositivo y materiales de prueba, que se pueden comprobar primero en un ordenador. Más adelante, al construir un coche de juguete de baja velocidad o un robot educativo, se puede ir incorporando el hardware poco a poco.
Para mostrar circuitos en cadena que se pueden verificar. Los usuarios pueden enviar una lista de conexiones de seguridad a un laboratorio compatible con la cadena y, después, leer el registro del circuito para compararlo con las reglas utilizadas en la web. Aquí, «fabricación del chip» se refiere a enviar un registro de circuito a la cadena, no a fabricar un chip físico.
¿En qué aplicaciones se puede explorar su uso?
· Coches de juguete de sobremesa o robots educativos.
· Gemelos digitales para reparto en campus o inspección en interiores.
· Investigación sobre permisos de movimiento para dispositivos móviles.
· Plataformas experimentales para estrategias verificables.
Por ejemplo, un grupo de investigación puede utilizarlo para debatir cómo debería reaccionar un vehículo de reparto de un campus al encontrarse con un peatón. Los desarrolladores pueden comparar las salidas de las reglas web y del programa de ordenador con el mismo conjunto de datos de prueba. Los aficionados al hardware pueden conectarlo a una placa de desarrollo ESP-32 para crear un coche de juguete autónomo.
Sin embargo, los vehículos reales también necesitan sensores fiables, sistemas de frenado, paradas de emergencia físicas y pruebas sobre el terreno. Que una decisión sea correcta en la página web no demuestra por sí solo que un vehículo físico sea seguro en las vías del mundo real.
Actualmente, el sitio web ya permite crear un laboratorio propio en cadena, definir estrategias y parámetros propios y realizar la «fabricación del chip». Dentro de unos días lo subiré a DeWeb.
Sitio web oficial:
https://taperover.vercel.app/
#TapeOut #TapeRover