报告题目：软件系统的自适应性和系统可靠性

演讲摘要：软件系统在关键领域中的应用日益广泛，软件运行环境日益增强的开放性，使得软件系统可靠性问题凸显其重要性。本报告首先分析了软件系统可靠性的概念的延伸，讨论了软件系统可靠性关注点的概念框架。其次从软件自适应体系架构的视角，探讨软件可靠性关注点。最后结合若干案例，探讨特定场景下软件系统自适应性支撑下的软件系统可靠性设计策略。

讲者简介：金芝，北京大学教授，IEEE/CCF/AAIA Fellow，高可信软件技术教育部重点实验室常务副主任，国家杰出青年科学基金获得者。兼任国务院学位委员会学科评议组成员（软件工程），中国计算机学会常务理事，中国计算机学会系统软件专业委员会主任，中国人工智能学会知识工程与分布智能专委会副主任。长期从事软件工程和知识工程的研究，先后担任973项目首席科学家，国家重点研发计划专项和国家自然科学基金委重点项目等的项目负责人。曾获教育部科技进步一等奖、CCF技术发明一等奖、北京市技术发明二等奖、CCF杰出成就（夏培肃）奖、IEEE TCSVC 杰出领导力奖、中创软件人才奖等。发表论文两百余篇，5次获得 ACM Distinguished Paper Awards，出版专著3部。任《软件学报》执行主编，《计算机学报》副主编，JCST领域编委，以及IEEE TSE、IEEE TR、ACM TAAS、EMSE及RE等的编委。