马世龙：航天器自动化测试语言及其系统

【马世龙：航天器自动化测试语言及其系统】马世龙，北京航空航天大学计算机学院教授，博士生导师，软件开发环境国家重点实验室副主任。当前主要研究方向：可信软件、航空航天领域安全攸关系统可信性验证与评估研究。主要成果包括：面向航天器自动化测试的语言及系统；预警机任务系统自动化检测装置。中国军演引发各界关注，早在今年4月北航马世龙教授在一次学术会议上谈到，航空领域安全攸关系统可信需求典型而迫切，保障预警机任务系统、警戒任务系统等大型信息化武器装备系统等大型软件系统安全可靠，是软件领域紧迫的研究课题。