OS2ATC 2025大会报名火热进行中，邀您共话操作系统新篇章！！-电子发烧友网

第十二届开源操作系统年度技术会议（OS2ATC）将于2025年3月29日在北京盛大举行。本次技术盛会将聚焦“智联系统”主题，汇聚国内一线操作系统及相关领域的顶尖技术专家，共同探讨业界最新技术趋势和未来发展方向。

本次大会荣幸地邀请到两位重量级人物担任大会主席：

•熊谱翔：RT-Thread创始人、睿赛德科技CEO、上海开源信息技术协会理事长。熊先生在嵌入式操作系统领域拥有丰富的经验和深刻的见解，致力于推动国产操作系统的创新发展。

•胡春明：北京航空航天大学软件学院院长，在计算机科学与技术领域具有深厚的学术造诣，特别是在操作系统及软件工程方面贡献卓著。

两位主席将携手多位行业领袖和技术精英，为大会带来一系列精彩纷呈的主题报告和技术分享，引导参会者共同探索“智联系统”的无限可能。

主会场

北航新主楼会议中心一号报告厅

主持人：胡春明

北京航空航天大学

软件学院院长

主持人：熊谱翔

睿赛德科技总经理;

RT-Thread 创始人


08:30 - 9:00	签到
09:00 - 9:25	具身智能的挑战黄浴 Roboraction,AI CEO
9:25 -9:50	OpenCloudOS 内存管理与卸载技术的探究与实践宋恺睿腾讯高级内核工程师
915	HVML 的自研渲染引擎 xGUI 和在线应用开发环境 HybridRun 魏永明飞漫软件创始人
1040	vivo蓝河操作系统基于Rust语言技术创新与实践贺程 vivo系统研发总监
1005	安全容器统一架构谈鉴锋蚂蚁集团高级专家; 操作系统研发经理
1130	Xiaomi Vela 技术突破与实践，引领开源开放的 IoT 操作系统生态赵微小米系统架构师
1155	在Rust-for-Linux中的开发经验浅谈李弘宇北京邮电大学博士生二年级
1130	颁奖仪式

分会场

新主楼会议中心一层

Session 1 2号会议室	具身智能与系统主持人：黄浴 Roboraction,AI CEO
14:00 - 14:20	AI赋能，融合创新：基于openKylin构建下一代AIPC OS 宁思光 openKylin社区AI技术负责人
14:20 - 14:40	基于鸿蒙内核构建的AI原生安全操作系统李艺华为OS内核技术专家
14:40 - 15:00	具身智能机器人操作系统与应用技术牛建伟北京航空航天大学教授
15:00 - 15:20	Confidential AI开源解决方案最佳实践乾越阿里云操作系统团队安全架构师
15:20 - 15:40	茶歇
15:40 - 16:00	DORA机器人中间件：开启下一代机器人开发的智能新纪元李扬 DORA社区技术专家
16:00 - 16:20	基于OpenHarmony的机器人系统李涛深开鸿OpenHarmony机器人开源项目技术负责人
16:20 - 16:40	TBD

Session 2 3号会议室	智能汽车与系统主持人：刘东利国家智能网联汽车创新中心计算平台部部长
14:00 - 14:20	智能车控系统的实时调度融合设计与功能安全保障熊谱翔睿赛德科技总经理； RT-Thread 创始人
14:20 - 14:40	产学研共建车用操作系统开源生态刘志坤国家智能网联汽车创新中心操作系统集成开发总监
14:40 - 15:00	智能汽车混合关键场景下 OS挑战与应对方案胡冲中兴通讯车载操作系统研发总工
15:00 - 15:20	新一代大算力芯片及基础软件架构创新加速汽车智能化游昌海黑芝麻智能科技系统软件副总裁
15:20 - 15:40	茶歇
15:40 - 16:00	自动驾驶闭环评测与算法库JAD杨振杰上海交通大学博士二年级
16:00 - 16:20	Auto语言在汽车基础软件领域的应用赵普明索维软件技术总监
16:20 - 16:40	TBD

Session 3 4号会议室	硬件与内核主持人：杨欣欣湖北芯擎科技高级副总裁
14:00 - 14:20	多核异构SoC在行业应用中的软件方案思考与实践蔡泳恒全志科技软件设计高级工程师
14:20 - 14:40	aosp的移植实践与挑战朱奇正龙芯中科软件工程师
14:40 - 15:00	从硬件异构性到系统异构性的业界现状、实践与挑战任玉鑫华为欧拉操作系统学术研究负责人
15:00 - 15:20	安全低开销的国产系统审计框架蒋鹏东南大学副研究员
15:20 - 15:40	茶歇
15:40 - 16:00	智能系统中的嵌入式多核操作系统何小庆嵌入式系统联谊会秘书长
16:00 - 16:20	从“黑”到“白”：自主可信计算如何重塑开源操作系统安全生态胡俊北京工业大学计算机学院信息安全系教师
16:00 - 16:40	《开源操作系统测试规范》T/CECC 33—2024要点解读翟高寿北京交通大学副教授
16:40 - 17:00	ELF分离式签名分页验证技术卢新友统信软件安全技术专家

Session 4 5号会议室	云原生与虚拟化主持人：刘双蚂蚁集团安全计算平台负责人
14:00 - 14:20	云原生深度学习训练平台在高校的实践沃天宇北京航空航天大学教授
14:20 - 14:40	HyperGPU：基于通用硬件的大模型隐私数据保护贾越凯蚂蚁集团技术专家
14:40 - 15:00	Openvela的开源治理马洪波小米开源运营负责人
15:00 - 15:20	基于Rust语言的高可靠、嵌入式Hypervisor及应用王雷北京航空航天大学教授
15:20 - 15:40	茶歇
15:40 - 16:00	基于 Kata 的机密容器（CoCo）在蚂蚁的落地实践李亚南蚂蚁集团软件开发工程师
16:00 - 16:20	机密计算之Intel TDX技术解析杜凡 Intel 资深系统软件架构师
16:20 - 16:40	智能伸缩，高效降本：使用Karpenter助力企业云资源优化周仁天 CloudPiload AI高级工程师

16:40 - 17:00

面向自主根社区商业发行版产品的高精度检测

黄浩东

棱镜七彩副总裁

Session 5 8号会议室	编程语言与系统生态主持人：魏永明飞漫软件创始人
14:00 - 14:20	基于openEuler与openHarmony构建的端云协同智能系统实践陈辉华为技术专家
14:20 - 14:40	龙架构上的Golang生态建设陈国祺龙芯系统研发部Golang技术总监
14:40 - 15:00	基于RISC-V的Fedora发行版构建及Linux开源软件生态傅炜红帽软件首席软件工程师
15:00 - 15:20	HVML解释器PurC的新特性以及新的渲染器 xGUI 薛淑明飞漫软件高级软件工程师
15:20 - 15:40	茶歇
15:40 - 16:00	凹语言社区现状和未来展望柴树杉凹语言科技首席技术专家
16:00 - 16:20	XLang: 基于差量概念的第四代编程语言张杰世通沃联技术总监
16:20 - 16:40	webassembly 赋能新兴脚本语言-考鼎码(EC2)与洛书(Losu)的实践探索陈朝臣东北大学秦皇岛分校学生
16:40 - 17:00	Quick Check - 基于属性的测试肖铭坤首都师范大学物理系大二学生