5月22日，以“创新、协作、发展”为主题的第二届固件技术峰会在湖南长沙成功顺利举办。本届峰会由火山引擎、阿里云联合主办，固件产业技术创新联盟协办，联盟秘书长尹航主持峰会，工业和信息化部电子信息司电子系统处处长金磊和孙文龙理事长出席会议并致辞。山东大学智研院李冰工程师、杨叶倩博士参加会议并分享了山大在RISC-V固件领域的研究成果。

李冰的报告以“面向RISC-V高性能计算固件的探索”为主题，详细分析了当前RISC-V高性能硬件与软件的发展，并深入探讨操作系统对RISC-V固件的要求，进一步分享了RISC-V BRS（Boot and Runtime Services）的工作方向，围绕未来固件开发的重点领域展开了讨论与分析。

杨叶倩集中介绍了其在RISC-V SBI（Supervisor Binary Interface）阶段的形式化验证工作，重点分享其在可靠性、可用性和服务性（RAS）方面的投入与研究。报告引发了与会者的广泛关注，凸显了形式化验证在行业内的重要性和应用潜力。

会上，金磊处长强调，面对当前的产业挑战和发展趋势，一是要加强产学研用协同创新，提升核心竞争力；二是要支持全链适配验证，引导产业健康发展；三是要重视安全防护，推动固件技术升级突破。孙文龙理事长指出，在AI时代背景下，联盟将重点推进三方面工作：一是强化创新驱动，突破核心技术；二是强化标准引领作用，推动标准与产业融合；三是构建产业生态，加强人才培养。

会议吸引了全球50多家企业及近200位固件技术开发者和行业专家共聚一堂，共同探讨固件技术的前沿发展与应用实践。智研院在本次峰会中的参与，体现了其在固件技术研究上的潜心投入与合作精神，山东大学将持续致力于固件研发领域的研究创新，为行业的可持续发展贡献科研力量。