The development machines used to create satellite software are likely running Windows, but the satellites are more likely to be running a real time OS such as VxWorks, Rodos, RTEMS, etc.