2026年10月17日至20日，2026 CCF全国高性能计算学术大会（CCF HPC 2026）在深圳举行。本次大会旨在探讨高性能计算前沿技术趋势，推动学术交流与算力生态建设，多位院士及高性能计算领域的知名专家学者出席大会。会议期间，山东大学戴鸿君教授参加“面向数据中心的RISC-V基础软件生态技术论坛”，并作题为《面向RISC-V服务器的固件研究新进展》的报告。

报告指出，随着RISC-V向高性能服务器场景延伸，固件在标准接口、平台服务与可靠管理上面临全新挑战。戴鸿君教授系统梳理了固件栈设计、底层初始化及漏洞防护等成果，深度剖析了现有OpenSBI、UEFI等开源实现的瓶颈。在机器级固件可信性方面，团队提出了SeSBI/VeraSBI形式化验证框架，利用Isabelle/HOL和Dafny等工具，对冷启动状态迁移、PMP/CSR位级编码及运行时RAS机制（如优先级反转、跨PE干扰等）建立了可机器检查的正确性证据，大幅提升了固件代码的可靠性。

在工程适配与生态建设层面，戴鸿君教授分享了团队推进RISC-V固件启动标准草案撰写的工作，以及针对SG2042/SG2044平台的UEFI与ACPI驱动深度适配成果，成功打通了从底层硬件到Linux系统的完整启动链路。此外，团队还探索了基于AI与BMC的服务器故障诊断新方法，通过SOL控制台实时捕获日志并结合AI推理，有效应对了海量日志下的诊断开销问题。本次报告不仅展示了国产RISC-V服务器固件在兼容性与安全性上的突破，也为未来的标准化与产业化落地提供了清晰路径，引发与会学者的热烈反响。