A generic ERTMS/ETCS DMI that listens to websockets for the input. Front-end in HTML/CSS/Javascript and back-end in Python. See a static demo at: https://renevandenberg.github.io/WebDMI/