Señoras, señores... FUNCIONA.
No he tenido tiempo hasta este fin de semana para hacer la prueba, pero funcionó a la primera.
El montaje consiste en un receptor de TDT por USB de esos de 11€, conectado a una tablet Android a través de un cable OTG, el driver AIS SHARE (2€ en playstore, hay prueba limitada gratuita) y el OpenCPN.
El receptor TDT tiene que llevar el chip RTL2832U, que es el que tienen la mayoría de esos baratos.
Como estos receptores están hechos en plan barato tienen un desfase de frecuencia que es necesario identificar y corregir. Yo lo medí con el SDR Touch, también con versión de prueba gratuita en la playstore; no es necesario comprar este programa, porque sólo hace falta para medir el desfase en ppm.
Se puede medir también con el programa kalibrate, para windows; supongo que hay otros modos en San Google.
Aquí vienen todas las instrucciones:
http://www.ebctech.eu/blog/ais-share...s-via-android/
De momento sólo lo he probado con la antena que trae el receptor de TDT y me han aparecido todos los barcos y balizas en un radio de un par de millas. Supongo que con una antena más decente puesta en lo alto del palo la cosa mejorará ostensiblemente.