题目：自治软件系统的可靠性

报告人: 金芝 北京大学教授

时间：2022年3月28日（星期一）下午15:00

地点：南海校区信息楼104

学术报告简介:

软件系统在关键应用中日益广泛的使用，要求其开发过程能提供令人信服的证据，展示其功能服务满足可靠性要求。软件系统运行环境日益增强的开放性，特别是很多软件成为自治系统的核心，使得软件可靠性问题边界不断延伸。本报告首先分析了软件系统可靠性的概念，构建软件系统可靠性的概念模型，讨论了软件系统可靠性概念的变迁，最后探讨了自治系统的软件能力关注点和软件系统架构。

报告人简介:

金芝，北京大学教授，2021CCF杰出成就奖 （夏培肃）获得者。任北京大学高可信软件技术教育部重点实验室常务副主任。2006年获得国家杰出青年科学基金。兼任国务院学位委员会学科评议组成员（软件工程），中国计算机学会会士与常务理事，中国计算机学会系统软件专业委员会主任。任IEEE TSE/TR Associate Editor，《软件学报》执行主编，《计算机学报》副主编，Empirical Software Engineering编委。主要研究领域包括：软件需求工程、知识工程、和基于知识的软件工程等，主持973项目、国家重点研发项目、以及多项国家自然科学基金重点项目等。获教育部高等学校科学研究优秀成果奖科技进步一等奖1项，中国计算机学会科学技术奖技术发明一等奖1项。出版英文专著3部，中文编著1部，发表论文180余篇。