It's most likely using vxworks for it's OS, since I believe it's one of the only fully certified ARINC653 OS's for human flight. It's used in most Aircraft and space missions.
Yeah, that was my guess too but the comment about separate implementation for the backup system made me wonder if there was a different OS, and the which was running where.
