您位于: 首页 新闻动态 基于情境的安全攸关软件的构造方法与运行机理研究“青年973项目举行年度总结会

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

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