学术报告
--必赢242net官网第50期
题目:自治软件系统的可靠性
报告人: 金芝 北京大学教授
时间:2022年3月28日(星期一)下午15:00
地点:学院101会议室
学术报告简介:
软件系统在关键应用中日益广泛的使用,要求其开发过程能提供令人信服的证据,展示其功能服务满足可靠性要求。软件系统运行环境日益增强的开放性,特别是很多软件成为自治系统的核心,使得软件可靠性问题边界不断延伸。本报告首先分析了软件系统可靠性的概念,构建软件系统可靠性的概念模型,讨论了软件系统可靠性概念的变迁,最后探讨了自治系统的软件能力关注点和软件系统架构。
报告人简介:
金芝,北京大学教授,2021CCF杰出成就奖 (夏培肃)获得者。任北京大学高可信软件技术教育部重点实验室常务副主任。2006年获得国家杰出青年科学基金。兼任国务院学位委员会学科评议组成员(软件工程),中国计算机学会会士与常务理事,中国计算机学会系统软件专业委员会主任。任IEEE TSE/TR Associate Editor,《软件学报》执行主编,《计算机学报》副主编,Empirical Software Engineering编委。主要研究领域包括:软件需求工程、知识工程、和基于知识的软件工程等,主持973项目、国家重点研发项目、以及多项国家自然科学基金重点项目等。获教育部高等学校科学研究优秀成果奖科技进步一等奖1项,中国计算机学会科学技术奖技术发明一等奖1项。出版英文专著3部,中文编著1部,发表论文180余篇。