Just wanted to give you a little bit more info. I work for the Spanish company that has developed the OSPF, GMV, and although I'm not currently involved at all in this project, from what i know, the following statement: "around 5% of the Galileo capacity is lost to software problems likely in the Orbit Synchronization Processing Facility (OSPF), run by GMV." is not fully true. The OSPF receives data from sources (From my limited knowledge, time stations in order to generate the ephemeris), and it looks like the problem was not in the OSPF code but in one of these time stations sending the data.