简介
操作系统是现代信息社会的基础架构,更是国家信息安全的基石。在大型机、桌面和移动计算时代,以微软为代表的西方企业占据了绝大部分的通用操作系统市场。随着人类社会、信息空间、物理世界的深度融合,通用操作系统已越来越难以适应复杂多变的应用需求,面向云-管-边-端的场景计算成为信息科学的新浪潮。在风起云涌的变革时代,国产操作系统研发何去何从?在本论坛中,讲者将围绕场景操作系统主题,分享新一代操作系统的关键技术、全新应用和核心挑战,探索国产操作系统的转型发展之路。
执行主席
江贺,教授、博导、大连理工大学人工智能大连研究院院长,国家优秀青年科学基金获得者(优青),大连YOCSEF候任主席(2021-2022)
个人简介: 教授、博导、大连理工大学人工智能大连研究院院长,国家优秀青年科学基金获得者(优青),大连YOCSEF候任主席(2021-2022)。目前主要研究兴趣为智能软件工程。先后在ACM/IEEE系列汇刊(TOSEM, TSE, TKDE, TSC等), 中国科学等期刊及ICSE, ASE 等国际会议发表论文70余篇,在科学出版社出版专著一部,在人民邮电出版社出版著作及译著各1部。担任IEEE Trans. on Reliability, Journal of Software: Evolution and Process, Frontiers of Computer Science, 计算机科学等期刊编委(或青年编委)。先后承担或参加国家自然科学基金项目(青年、面上、优青、重点)、国家重点研发计划,成果在华为、百度、航天等企业落地应用。2013年获得大连市五一特等奖章。2013年入选教育部新世纪优秀人才计划。2014年指导博士生获得中国计算机学会优秀博士学位论文奖(CCF优博)。2016年获得全国东软-NASAC青年软件创新奖。2017年获得国家优秀青年科学基金资助。2018年研究成果获得国际软件工程大会ACM SIGSOFT 杰出论文奖。2019年入选大连理工大学星海杰青计划。
共同主席
郭成,大连理工大学软件学院教授、博导,大连YOCSEF AC委员
个人简介:大连理工大学软件学院教授、博导,大连YOCSEF AC委员。目前主要研究兴趣为大数据安全及机器学习隐私保护。先后在IEEE TSC, IEEE TCC, Computers & Security, IEEE TII, IEEE IoT Journal, 中国科学等期刊发表学术论文80余篇。两次获辽宁省计算机学会学术年会优秀论文一等奖。先后获批国家自然科学基金面上项目、青年项目、奇虎360隐私计算项目10余项。现为山东省云计算与智能应用协同创新中心副主任,辽宁省网络安全保障工作联盟网络安全专家。
嘉宾
乔磊,博士,航天五院502所研究员,CCF高级会员
演讲题目:航天器操作系统的研究与实践
演讲摘要:航天器是资源受限的安全关键系统,自主智能性要求日益增强,本报告将分析和总结中国航天领域嵌入式操作系统的研制历程及应用情况,重点介绍中国航天科技集团公司五院502所研制的自主知识产权航天器嵌入式操作系统SpaceOS的设计和验证方法,并对未来航天器操作系统的发展前景进行了展望。
个人简介:博士,航天五院502所研究员,CCF高级会员。国家万人计划青年拔尖人才,中国航天科技集团公司青年拔尖人才,2019年度NASAC青年软件创新奖获得者,耶鲁大学访问学者。中国计算机学会系统软件、形式化方法和工业控制计算机专委会委员。一直致力于操作系统软件的设计、验证与可信保障技术研究。研究成果在以我国玉兔一号、二号月球车等为代表的重大型号任务中直接应用并发挥关键作用。发表论文50余篇,合作出版专著1本,申请国家发明专利20项,国际发明专利1项。主持或参与国家重大研究项目10余项,包括国家自然科学基金、核高基、863、装发预研等。作为核心成员,研发我国首个航天器操作系统SpaceOS,已应用于载人航天、探月工程、北斗导航等100多个航天器。获国防科技创新团队奖、北京市科技进步一等奖、军队科技进步三等奖等多项奖励。
嘉宾
曹东刚,京大学信息学院计算机系研究员,北京大学信息技术高等研究院泛在操作系统实验室主任,中国计算机学会高级会员
演讲题目:工业物联操作系统矽璓
演讲摘要:工业物联网是支撑智能制造的使能性基础设施,通过将物联网等新一代信息技术与制造业深度融合,实现工业场景人、机、物的全面互联,提升制造业数字化、网络化、智能化发展水平。工业物联网的实施需要相应操作系统的支撑,简化相关的编程、部署、运维、管理等工作。XiUOS(矽璓)是北京大学信息技术高等研究院研发的一款面向智慧车间的工业物联操作系统,报告将介绍XiUOS工业物联操作系统的研发情况和部分应用案例。
个人简介:北京大学信息学院计算机系研究员,北京大学信息技术高等研究院泛在操作系统实验室主任,中国计算机学会高级会员,主要研究方向为操作系统与中间件、云计算、物联网等,曾主持国家 863、973、国家自然科学基金、核高基、国家重点研发计划等课题多项,获国家技术发明二等奖1次,省部级科技进步一等奖3次。
嘉宾
常万里,湖南大学教授、博士生导师
演讲题目:高可靠高性能实时操作系统关键技术
演讲摘要:在智能汽车、航空航天、5G及以上通讯、工业自动化、机器人等多领域应用驱动下,嵌入式与实时系统正走向一个新的时代。对于复杂功能与高性能的需求逐渐模糊了嵌入式计算系统与通用计算系统以及超级计算系统之间的边界,同时仍要以较少的资源满足传统的实时性、可靠性和低能耗要求。本次报告将介绍首个研究动态资源共享这一未来实时操作系统关键技术可靠性的工作。
个人简介:湖南大学教授、博士生导师。常万里教授2020年入选第16批国家海外高层次人才引进计划,任湖南大学正教授,拟任华为嵌入式系统领域首席科学家。此前任英国约克大学终身教职,实时系统国家实验室副主任,Bosch专家顾问。根据csranking,约克在嵌入式与实时系统领域世界第二,常教授贡献度排名第一,19篇顶会论文。博士毕业于德国慕尼黑工大,获最佳博士论文奖,本科新加坡南洋理工大学。近两年发表CCF A类论文18篇,多次获得CCF B类以上会议最佳论文提名。常教授在嵌入式与实时系统领域三大顶级学术会议首次创立工业论文并任主席,任CCF A类会议DAC自动系统领域主席,CCF A类会议RTSS论文评奖委员会委员,英国计算机学会杰出论文奖评审专家。
嘉宾
董威,国防科技大学计算机学院教授、博士生导师
演讲题目:面向无人系统协同的软件定义自动化方法
演讲摘要:无人系统的应用领域越来越多,面向具体任务和场景,自动、高效地生成满足要求的无人系统控制程序具有重要研究与应用价值,但也具有非常高的难度,尤其是对于需要协同的多无人系统更具有挑战性。该报告对以程序综合与验证为基础的协同无人系统软件定义自动化工作进行介绍,包括多机器人的反应式控制器综合、更加有效的迭代式综合方法、综合安全可靠的控制程序、综合运行时监控器和强制器程序、通过对环境模型进行学习以自适应地进行控制程序综合等内容。
个人简介:国防科技大学计算机学院教授、博士生导师,主要研究方向为高可信软件技术、智能化软件开发方法,中国计算机学会高级会员、形式化方法专委会秘书长、软件工程专委会委员。入选教育部新世纪优秀人才支持计划,曾获首届东软-NASAC青年软件创新奖、霍英东基金会高校青年教师奖、IEEE Reliability Society和IEEE Division VI授予的杰出服务奖等。先后主持国家自然科学基金、国家863、国防领域课题多项,发表学术论文70余篇,包括ICSE、ASE、IEEE Trans等会议和期刊,出版国家级规划教材两部,相关成果应用于航空航天、装备控制、自主基础软件等关键领域。