I worked with some people of that particular JPL software team to setup a similar setup like the Mars helicopter for a earth UAV.

Can confirm that multiple real time systems are used. They are controlled by a non real time Linux system.