近日，陕西省科技厅公布了2020年度陕西省工业攻关项目及陕西省自然基金项目立项名单，我院刘舟洲主持的《 分区操作系统环境下机载软件中间件技术》（ 陕西省2020年重点研发计划项目，经费10万元）和彭寒主持的《基于组合形式化方法的综合航电系统建模与验证》（ 陕西省2020年自然科学基础研究计划项目，经费3万元）喜获立项。