第三届OpenHarmony技术大会研究分论坛圆满举办

OpenAtom OpenHarmony（以下简称“OpenHarmony”）作为新一代操作系统的佼佼者，正吸引着越来越多的开发者加入其生态系统。10月13日，第三届OpenHarmony技术大会研究分论坛隆重举行。多方专家和学者就构建OpenHarmony研究环境，助力OpenHarmony学术生态繁荣的议题，从多角度切入，展开了深入讨论与探索。

北京航空航天大学OpenHarmony技术俱乐部主任、教授，OpenHarmony程序分析SIG组长黎立教授和华中科技大学OpenHarmony技术俱乐部主任、教授、博导，青年长江学者王浩宇教授联合出品本次论坛。OpenHarmony程序分析SIG工作组成员、华为程序分析与开源标准实验室技术专家杨霖担任分论坛总主持。天津大学英才副教授陈森，华为2012实验室资深技术专家蔡源稻，兰州大学OpenHarmony技术俱乐部指导老师、副教授、硕士生导师刘新，上海交通大学助理研究员杜冬冬，湖南开鸿智谷数字产业发展有限公司分布式技术专家王东东，中国科学院软件研究所技术专家吴圣垚，德累斯顿工业大学工业博士Jiawei Wang等嘉宾出席论坛并发表演讲。

（北京航空航天大学教授黎立）

OpenHarmony项目群技术指导委员会（TSC）主席、华为基础软件首席科学家陈海波出席本次会议并做开场致辞，鼓励大家围绕OpenHarmony的技术特性（如分布式特性）深入研究，并积极投入到OpenHarmony社区构建中来。

（OpenHarmony项目群技术指导委员会主席陈海波）

四年多来，OpenHarmony社区迅速成长。OpenHarmony版本目前已经迭代到OpenHarmony5.0 Release。随着OpenHarmony的日益壮大，对于生态安全性和性能的要求也随之提升。天津大学英才副教授陈森教授团队与华为公司携手合作，成功构建了基于Panda IR的静态分析框架HarmonyFlow。HarmonyFlow框架的推出，标志着OpenHarmony生态系统在安全保障方面迈出了重要一步。该框架包括指针分析和数据依赖分析两大核心模块，通过构建调用图和数据依赖图，帮助开发者更深入地理解程序结构，优化应用性能，并有效识别潜在的安全漏洞。这一创新成果为OpenHarmony的稳定与安全提供了强有力的技术支持。

（天津大学英才副教授陈森）

与此同时，华为2012实验室资深技术专家蔡源稻也分享了基于OpenHarmony的面向大规模代码的路径敏感的稀松值流分析技术。该技术旨在打造下一代的静态分析引擎，实现对OpenHarmony亿级代码的快速且准确分析，进一步提升了OpenHarmony系统的安全性和可靠性。

（华为2012实验室资深技术专家蔡源稻）

在开源合规治理领域，兰州大学OpenHarmony技术俱乐部指导老师、副教授刘新围绕面向OpenHarmony的许可证检测进行了深入探讨。刘新指出，现有的许可证兼容性分析方法存在诸多不足，特别是在不同编程语言交互的大型复杂项目中。为此，刘新提出了一种新的分析工具，能够识别依赖行为，进行细粒度兼容性识别，为开源合规治理提供了有力支持。

（兰州大学副教授刘新）

此外，上海交通大学助理研究员杜冬冬就智能终端操作系统的渲染服务研究与挑战进行了分享。杜冬冬分析指出，渲染服务是智能移动终端（如智能手机）操作系统中的关键组件，直接决定着最终的用户体验。然而，随着近年来终端设备场景对于高端精致渲染能力的需求增强（如大量的特效），传统的渲染服务和框架难以满足应用需求，导致丢帧等问题。该团队的研究则基于分离式渲染的架构和方法，以极低的开销满足应用渲染需求。

（上海交通大学助理研究员杜冬冬）

湖南开鸿智谷数字产业发展有限公司分布式技术专家王东东聚焦基于OpenHarmony的服务随身走应用技术展开分享。王东东以实际场景案例出发，介绍了如何通过精准卡片推送实现高效设备控制。据悉开鸿智谷主要探索基于软总线无感组网、分布式事件通知与IOT平台，结合模板卡片智能下发，实现巡检服务随身走，以及各类设备信息的统一采集与策略的统一下发，通过OpenHarmony OS+互联互通，为客户提供更加便捷与智能的交互体验。

（湖南开鸿智谷数字产业发展有限公司分布式技术专家王东东）

中国科学院软件研究所技术专家吴圣垚围绕本院研发的HiLog有效解决OpenHarmony缺乏日志系统问题展开了讨论。吴圣垚表示，基于全场景赋能的互联时代，HiLog可以通过强大日志系统模型规范，支撑OpenHarmony系统应用开发与调试。HiLog为OpenHarmony生态系统的完善和发展注入了新的活力。