[单选]  由于其高可靠性，在美国的火星表面登陆的火星探测器上也使用的嵌入式操作系统是（）。