Un equipo de ingenieros ha desarrollado un nuevo sistema de alertas de emergencia para túneles desatendidos, utilizando una placa FPGA Red Pitaya para transmitir mensajes de audio a través de una señal de radio AM de 12 canales. El sistema, cuyo código fuente está disponible en GitHub, permite la configuración de frecuencias de transmisión sin necesidad de modificaciones de hardware y modula la señal AM con audio pregrabado. Incorpora una arquitectura MVC (Modelo-Vista-Controlador) con un bus de eventos para la comunicación entre componentes, un estado de máquina para gestionar el flujo de trabajo y un watchdog de hardware para garantizar la seguridad. La verificación formal, utilizando técnicas matemáticas avanzadas, ha demostrado la corrección del sistema, cubriendo todas las posibles entradas y estados. El sistema incluye un buffer de audio BRAM para almacenar mensajes de emergencia y un servidor SCPI para convertir comandos en acciones de hardware. La interfaz gráfica de usuario (GUI) se ejecuta de forma independiente y solo muestra el estado confirmado por el hardware, evitando suposiciones sobre el estado real del dispositivo. El sistema está diseñado para ser robusto y fiable, con un enfoque en la seguridad y la verificación exhaustiva de su funcionamiento.
Noticias agregadas con IA