四号线ATS服务器的操作系统是（ ）。