CCF@U862：金芝走进南京邮电大学

CCF走进高校第862场

敬请关注

由中国计算机学会（CCF）主办，CCF系统软件专委、南京邮电大学承办的CCF走进高校活动，将于2022年8月4日在南京邮电大学召开，敬请关注。

时间：2022年8月4日（周四）10:00-11:30

地点：南京邮电大学计算机学科楼327

报告信息：

报告题目：软件密集型自治系统的安全性关注点

报告摘要：软件密集型自治系统通过各种配置和结构调整来适应环境变化，它们可以代替人工操作来提高效率，特别是在恶劣或安全关键的环境中具有重要作用。这类系统天生需要具有的柔性安全性是软件密集型自治系统开发的重要挑战。本报告首先通过分析已有工作中对自治系统安全风险和对策，综合自主系统中的安全问题和对策的特征模型，然后结合基于环境建模的需求工程方法，探讨特定场景下软件密集型自治系统的，面向安全关注点的体系结构层设计策略。

嘉宾简介：

金芝，北京大学教授，博士生导师，高可信软件技术教育部重点实验室常务副主任，国家杰出青年科学基金获得者，中国计算机学会会士。兼任国务院学位委员会学科评议组成员（软件工程），中国计算机学会常务理事，中国计算机学会系统软件专业委员会主任，中国人工智能学会知识工程与分布智能专委会副主任。

长期从事软件工程和知识工程的研究，先后担任973项目首席科学家，国家重点研发计划专项和国家自然科学基金委重点项目等的项目负责人。曾获教育部科技进步一等奖、CCF技术发明一等奖、北京市技术发明二等奖、CCF夏培肃奖、中创软件人才奖、IEEE TCSVC 杰出领导力奖等。发表论文两百余篇，4次获得 ACM Distinguished Paper Awards，出版专著3部。任《软件学报》执行主编，《计算机学报》副主编，JCST领域编委，以及IEEE TSE、IEEE TR、ACM TAAS、EMSE及RE等的编委。

CCF微信公众号，欢迎关注