What solution do you use to bring a udp, rtmp, ... stream back into the hd-sdi format
While I am pretty sure there are a few stand alone devices that can perform this process, they are effectively doing the same thing as you are doing by playing it back through the HD-SDI output of a computer.  RTMP is a very different type of signal than SDI and requires fairly complex translation to get it back to SDI.