【馬世龍：航天器自動(dòng)化測試語言及其系統(tǒng)】馬世龍，北京航空航天大學(xué)計(jì)算機(jī)學(xué)院教授，博士生導(dǎo)師，軟件開發(fā)環(huán)境國家重點(diǎn)實(shí)驗(yàn)室副主任。當(dāng)前主要研究方向：可信軟件、航空航天領(lǐng)域安全攸關(guān)系統(tǒng)可信性驗(yàn)證與評估研究。主要成果包括：面向航天器自動(dòng)化測試的語言及系統(tǒng)；預(yù)警機(jī)任務(wù)系統(tǒng)自動(dòng)化檢測裝置。中國軍演引發(fā)各界關(guān)注，早在今年4月北航馬世龍教授在一次學(xué)術(shù)會(huì)議上談到，航空領(lǐng)域安全攸關(guān)系統(tǒng)可信需求典型而迫切，保障預(yù)警機(jī)任務(wù)系統(tǒng)、警戒任務(wù)系統(tǒng)等大型信息化武器裝備系統(tǒng)等大型軟件系統(tǒng)安全可靠，是軟件領(lǐng)域緊迫的研究課題。