多位院士专家领衔｜2024 CCF系统软件技术论坛主旨报告抢鲜看

智能化时代的发展，伴随着模型结构日益复杂、异构资源不断涌现、算力需求持续增长、以及对数据安全隐私的逐渐重视，对基础软件的设计和实现提出了新的挑战，也带来了新的机遇。

为了促进我国基础软件的产学研协同发展，中国计算机学会系统软件专委会定于2024年7月7日在长沙举办CCF系统软件技术论坛（CCF-TC-24-180），论坛主题为智能时代的基础软件。本次论坛目的是为政府主管部门、学术界和产业界搭建交流平台，共同研讨智能时代基础软件面临的理论难题、技术挑战和发展瓶颈，促进我国基础软件领域的科学发展。

《软件定义时代的基础软件》

嘉宾简介：廖湘科，中国工程院院士，现任启元实验室主任，国防科大计算机学院研究员、博士生导师，国务院学位委员会软件工程学科评议组召集人，教育部软件工程专业教学指导委员会副主任。长期从事高性能计算机与通用操作系统的科研工作，参加了多代银河巨型机的研制，主持了天河一号、天河二号的研制，主持了麒麟操作系统的研制，为我国高性能计算机系统研制跻身世界领先行列、为国产基础软件的自主可控发展做出了重要贡献。获国家科技进步特等奖1项、一等奖4项；部委级科技进步一等奖8项；教育部十大科技进展2项。

《面向国产操作系统的多语言支撑技术》

嘉宾简介：尼玛扎西，中国工程院院士，西藏大学教授、博士生导师，是我国藏文信息系统领域学术带头人，长期从事语言智能和自然语言处理研究与工程实践，开拓我国藏文信息系统研究和应用新领域，为满足我国藏族地区长治久安和高质量发展中的信息化重要需求、促进国家语言文字信息系统技术进步做出了突出贡献。获国家科技进步奖二等奖、中国标准创新贡献奖一等奖、全国创新争先奖状、西藏自治区科学技术奖杰出贡献奖、何梁何利基金科学与技术创新奖等荣誉。

《九源智能基础软件栈的实践》

嘉宾简介：武永卫，清华大学费马科技讲席教授、计算机科学与技术系副系主任，IEEE/AAIA Fellow，入选国家级科技创新领军人才。主要从事并行与分布式系统领域的研究工作。担任或曾担任IEEE Transactions on Sustainable Computing指导委员会委员，ACM Computing Surveys, IEEE Transactions on Cloud Computing等国际期刊编委。在IEEE TC、IEEE TPDS、IEEE TSE等知名国际期刊和SOSP、OSDI、MICRO、HPCA、ATC等重要国际学术会议上发表学术论文200余篇。获国家科技进步二等奖1项，国家技术发明二等奖1项，省部级科技进步特等奖1项、一等奖2项。

报告摘要：九源智能基础软件栈旨在为智能算法开发与应用为智能应用的快速开发、高效运行、落地部署和测试评估提供支撑，推动可持续发展的智能计算系统生态形成。

九源基础软件栈包括低代码开发环境、高效训练/推理平台、智能编译优化系统、大数据处理系统、缓存存储系统、分布式图数据库、统一智能计算架构及软硬件适配验证、开放软件共享社区构建等，支持飞桨、Pytorch等智能编程框架，飞腾、鲲鹏等国产处理器，寒武纪、昇腾、昆仑、天数、沐曦等国产智能芯片和麒麟、欧拉等国产操作系统。

《RISC-V+AI算力系统软件栈建设》

嘉宾简介：谢涛，CCF会士，CCF系统软件专委会主任，北京大学讲席教授，北京大学计算机学院软件科学与工程系主任，高可信软件技术教育部重点实验室副主任。曾任美国UIUC计算机系正教授。当选欧洲科学院外籍院士、ACM/IEEE/AAAS会士。主要研究领域包括软件工程，系统软件，软件安全，可信人工智能，RISC-V基础软件。

报告摘要：近年来，RISC-V 开源指令集架构快速发展，已成为当前国际科技竞争的焦点，同时也成为一个有效抓手来以开源开放凝聚产业发展共识，打造全球算力产业生态。尽管当前英伟达的 GPU 及其之上的 CUDA 软件生态主导着全球 AI 算力市场，但产业界迫切希望建立新的软件生态以突破CUDA生态壁垒。一个已逐渐形成的共识是以RISC-V AI芯片为共性，团结广大相关公司和高校科研院所以开源开放的方式共同制定AI扩展指令集标准，并合作研发其上的开源AI系统软件栈。本报告讨论这个方向及其面临的重大机遇和应对挑战的思路。

《面向大规模训练的智能计算基础软件》

嘉宾简介：胡春明，北京航空航天大学教授，软件学院院长，复杂关键软件环境全国重点实验室副主任，大数据科学与脑机智能北京市高精尖创新中心副主任。担任中国计算机学会（CCF）系统软件专委会副主任，标准工委技术委员会主任。主要研究方向为计算机软件与理论、分布式系统、数据中心资源管理与调度、图计算查询优化、安全攸关的软件开发方法等。

报告摘要：随着大模型的快速发展，模型规模不断扩大，承载训练任务的大规模分布式计算和网络基础设施面临挑战。报告将汇报大规模模型训练对分布式基础软件提出的新要求，探讨智能计算基础软件的新需求，例如通过硬件感知的自适应训练策略和加速器装卸载实现单机单卡的高效模型训练，通过可靠RDMA网络、多作业协同和弹性调度、快速失效恢复等实现多机多卡的高效互联和智算集群调度，提升大规模训练任务时的资源利用率、运行效率和可靠性。

《万物智联时代的操作系统与0penHarmony实践》

嘉宾简介：陈海波，OpenHarmony项目群技术指导委员会主席，国家杰出青年基金获得者、ACM Fellow、IEEE Fellow。主要研究领域为操作系统、分布式系统与系统安全。曾获中国计算机学会科技进步特等奖、陈嘉庚青年科学奖（信息技术科学奖）、中国青年科技奖、教育部技术发明一等奖、全国优秀博士学位论文奖等。目前担任ACM SIGOPS首位非北美学者主席、ACM旗舰杂志Communications of the ACM首位中国学者编委与领域共同主席、ACM EuroSys 2025程序委员会共同主席。他也是华为Fellow、基础软件首席科学家、中央软件院副总裁。

报告摘要：万物智联为我国操作系统发展提供了新的发展机遇。该报告将首先介绍操作系统的演进历程以及万物智联时代的泛在化、场景化、生态化特征，然后介绍面向万物智联时代的分布式全场景操作系统OpenHarmony的技术架构与设计理念。报告还将介绍OpenHarmony的主要架构特征：“极简开发 多端部署”、“架构解耦 弹性扩展”、“异构并行 全栈协同”、“原生智能 场景体验”。最后，该报告也从将生态的角度介绍OpenHarmony当前产学研协同发展的情况。

《软件定义汽车：趋势与挑战》

嘉宾简介：彭鑫，复旦大学计算机科学技术学院副院长、教授、博士生导师。中国计算机学会（CCF）杰出会员、软件工程专委会副主任、开源发展委员会常务委员，《Journal of Software: Evolution and Process》联合主编（Co-Editor），《ACM Transactions on Software Engineering and Methodology》、《Empirical Software Engineering》、《Automated Software Engineering》、《软件学报》等期刊编委。2016年获得NASAC青年软件创新奖，2023年入选上海市东方英才拔尖项目。主要研究方向包括软件智能化开发、云原生与智能化运维、泛在计算软件系统、智能网联汽车基础软件等。研究工作多次获得IEEE Transactions on Software Engineering年度最佳论文奖、ICSM最佳论文奖、ACM SIGSOFT杰出论文奖、IEEE TCSE杰出论文奖等奖项。担任2022年与2023年CCF中国软件大会（ChinaSoft）组织委员会主席与程序委员会共同主席，以及ICSE、FSE、ASE、ISSTA、ICSME、SANER等会议程序委员会委员。

报告摘要：智能汽车电子电气架构正在逐渐向集中式和车路云一体化发展，软件定义汽车正在逐渐变成现实。包含操作系统、中间件、功能软件等在内的计算基础平台已经成为实现智能驾驶、智能座舱等智能化目标以及相应的新型产业生态的关键支撑。软件正在逐渐成为驾驭复杂性、重构整车架构的重要手段以及智能汽车价值实现的主要因素。在此基础上，智能汽车软件还在逐渐向服务化以及云原生化的方向发展。汽车领域传统的以硬件为主的供应体系正在向以软件为主的交付体系演变。然而，智能汽车高度的复杂性以及在可靠性、安全性等方面的高要求使得软件定义汽车也面临着巨大的技术和生态挑战。本次报告将在介绍软件定义汽车发展历史的基础上，对未来的发展趋势和挑战进行展望。

《基础软件的开源开放发展之路》

嘉宾简介：武延军，中国科学院软件研究所副所长、总工程师，研究员、博士生导师。主持多项国家级重大科研项目，在国内外重要期刊和会议上发表论文100余篇，获得专利30余项。入选北京市科技新星、中国科学院青促会优秀会员、国家级领军人才计划等。担任开放原子基金会开源安全委员会主席，OpenHarmony项目TSC委员，openEuler项目委员会常务委员，中电标协RISC-V工委会（RVEI）当值会长。

报告摘要：操作系统等大型复杂基础软件正面临开源开放带来的发展机遇。首先，在开源模式下，基础软件研发、构建、部署、运维等都离不开庞大的开源软件供应链体系，提供安全可靠的开源软件供应链维护治理，是打好攻坚战的关键。其次，随着RISC-V开放指令集的崛起，核心基础软件栈面临大规模重构的新机遇，将为全域异构算力高效调度奠定基础。最后，开源大模型的突飞猛进，也将给操作系统带来结构性的变革，大模型操作系统有望成为万物智联时代新的底层技术基座。

《移动应用隐私保护的合规验证》

嘉宾简介：刘烃，博士，教授，国家级青年人才，西安交通大学网络空间安全学院副院长。主要研究方向包括信息物理融合系统综合安全和软件安全。2003年和2010年分别获西安交通大学学士和博士学位；2016-2017年美国康奈尔大学访问教授。获得2017年国家科技进步二等奖、2022年教育部自然科学一等奖等科技奖励6项。获得2023 CCS SaTS、2019 INFOCOM、2016 ISSRE等会议最佳论文奖7项。

报告摘要：数据安全法、个人信息保护法提出对个人用户数据的收集使用，需满足最小范围、知情同意等要求，如何依据原则性法律法规判定具体程序行为是否合规，是当前移动应用安全治理的难题。本报告结合APP和小程序等移动应用实际案例，探讨“法律法规-隐私权政策-程序代码”关联分析方法和隐私保护合规验证解决方案。

《开放不确定场景下软件可信构造与保障》

嘉宾简介：卜磊，教授，博士生导师，现任南京大学软件学院副院长，兼任 CCF 系统软件专委秘书长；2010年在南京大学计算机与科学技术系获取博士学位；曾在CMU、MSRA等科研机构进行访学与合作研究；主要研究领域涉及软件工程、可信软件、形式化方法等方面，部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TDSC、CAV、RTSS、ICSE、ISSTA、ASE、DAC等上；入选国家级青年人才计划、高校计算机专业优秀教师奖励计划、CCF-IEEE CS青年科学家奖、中创软件人才奖、NASAC青年软件创新奖、CCF青年人才发展计划、MSRA铸星计划等。

报告摘要：信息物理系统广泛出现在列控、航天、航空、智能驾驶等安全攸关领域，其行为正确性至关重要。然而，系统内部行为中离散、连续行为交织，极其复杂；而外界动态不确定环境更近一步加剧了相关系统行为复杂度，使得相关系统的可信构造与保障难以进行。

针对此问题，我们提出了一种基于形式化建模与验证的可信构造与保障方法。首先我们提出了一种面向可重构系统的基于场景的层次化建模语言，来对系统动态行为进行快速建模。基于此建模语言，我们在运行时对系统短期内行为进行快速建模与验证，从而对潜在不安全行为进行发现与预警。在此基础上，我们进行运行时细粒度控制参数自动生成，在发现潜在危险时，接管系统控制，保障安全。部分成果已在列控、工控等领域进行应用验证，取得广泛关注。

《复杂智能软件开发环境》

嘉宾简介：冯大为，副研究员，长期从事大规模分布式系统软件与智能软件技术研究，主持多项国家和部委级科研课题。发表本领域高水平学术论文60余篇，获中国电子学会科技进步一等奖、中国计算机学会技术发明二等奖各1项。

报告摘要：报告分析了智能计算时代复杂智能软件与传统软件开发的差异，结合项目团队实践，介绍了智能软件在数据工程、模型训练推理、应用开发运行方面的挑战，以及相应的开发环境支撑技术，并对未来发展进行展望。

《openKylin for AIPC版本介绍及演示》

嘉宾简介（余杰）：余杰，博士、研究员、博士生导师，openKylin开源社区秘书长，CCF系统软件专委会执行委员、中文信息学会大模型专委会委员，主要研究方向为操作系统、人工智能，承担国家和军队课题10余项，入选学校领军人才、军队某人才计划，获中国杰出开源人物、中国开源先锋人物等称号。获国家科技进步一等奖1项、省部级科技进步一等奖2项，申请国家发明专利20余项，在TKDE、SCIS等国际顶刊和AAAI、ICPP、ACL、CONING等国际顶会发表学术论文20余篇，培养博士、硕士30余人。

嘉宾简介（刘晓东）：刘晓东，博士，副研究员，硕士生导师，openKylin社区技术委员会委员，CCF开源发展专委会执行委员。从事桌面操作系统、软件工程、人工智能领域的科研工作，主持参与国家自然科学基金面上项目、国家“核高基”重大专项、国家重大基础研究973项目等多项科研工作。获得“2022年中国开源先锋”称号。获省部级科技进步一等奖1项，学会科技进步二等奖1项。在国内外学术期刊和会议上发表论文近50篇。

报告摘要：大模型已成为全球技术焦点，需要用人工智能技术提升操作系统的智能化水平。在涉及商业机密或个人隐私、以及无法连接互联网等场景下，需要使用端侧模型来构建操作系统的智能引擎。本报告将介绍团队在“openKylin开源操作+九格端侧大模型”上通过在模型层、系统层、应用层的技术突破来构建AIPC引擎的系列实践，并演示运行效果。