您位于: 首页 / News / 2018年1月27日,基于情境的安全攸关软件的构造方法与运行机理研究“青年973项目举行年度总结会

2018年1月27日,基于情境的安全攸关软件的构造方法与运行机理研究“青年973项目举行年度总结会

由软件工程研究所熊英飞研究员负责,郝丹副教授、刘譞哲副教授参与的青年973项目“基于情境的安全攸关软件的构造方法与运行机理研究”于1月27日在北京大学举办年度总结会。梅宏院士、吕荣聪老师、钱德沛教授、张健教授、黄罡老师教授等专家和周扬帆副教授、郑子彬副教授等项目骨干出席了会议。会上,熊英飞研究员代表课题组汇报了项目进展,目前项目已经针对模型中的情境问题和模型外的情境问题形成了测试容错和缺陷自动修复两套处理途径,在学术界产生一定影响,在产业界得到应用。与会专家充分肯定了项目的目前进展,并对项目结题提出建议。

导航