首页
2025年6月20-22日，华为开发者大会2025在东莞松山湖举行。国际独立第三方检测、检验和认证机构德国莱茵TÜV（以下简称"TÜV莱茵"）受邀参与，并于OS核心技术分论坛为鸿蒙内核颁发TÜV莱茵软件可靠性Level 4认证证书，同时发表主题技术演讲，分享操作系统可靠性前沿实践。
随着技术的快速发展，软件的规模和复杂度不断增长，软件失效已成为系统失效的主要诱因，其失效带来的影响呈指数级扩大。据CISQ组织统计，2022年仅美国因软件失效导致的年损失高达2.41万亿美元。软件可靠性已成为当今时代必须要关注且必须要解决的问题。
然而，当前的软件可靠性方法论仍存在一定局限性，在软件可靠性研究和实践中多聚焦于软件可靠性中某单一领域，而鲜有从整体视角结合定性和定量方法的统一考量标准。这限制了企业和组织在实际中对软件可靠性进行全面的评估与改进，同时也影响了软件可靠性工程的进一步发展。
鸿蒙内核获TÜV莱茵软件可靠性Level 4认证
大会上，TÜV莱茵大中华区工业服务与信息安全事业群副总裁、高级工程师陈伟康博士宣布，华为鸿蒙内核正式通过软件可靠性Level 4认证——这是融合定性分析与定量验证的操作系统内核可靠性证书。该认证基于TÜV莱茵自主研发的软件可靠性标准和评估体系，标志着中国基础软件在软件可靠性工程实践领域实现了重大突破。
在对鸿蒙内核进行可靠性评估时，TÜV莱茵综合考虑了定性和定量软件可靠性。
在定性方面
通过对鸿蒙内核需求、设计和测试全生命周期评估，显示其即使在资源约束或极限压力情况下也表现出卓越的可靠性；
在定量方面
TÜV莱茵引入可靠性建模、统计分析和可靠性拟合验证，以数据驱动的方法，证明了鸿蒙内核的可靠性。
此次通过了严苛级别Level 4的考核，意味着鸿蒙内核将高可靠性下沉至实际可应用工程路径，其充分应用了先进的可靠性设计机制并采用严苛的概率测试，以数据驱动的科学方法验证了其可靠性。
聚焦鸿蒙，系统性解构软件可靠性的科学框架
大会期间，TÜV莱茵大中华区工业服务与信息安全项目经理孙展轩以《鸿蒙内核可靠性评估》为题发表主题演讲，系统性解构了软件可靠性的科学框架。
滑动查看
➤
演讲中，他介绍了软件可靠性工程的历史演变，以及当今软件可靠性工程的应用和要求，并进一步解读了软件可靠性在系统产品可靠性中的定位、定性软件可靠性和定量软件可靠性的融合、设计阶段中的软件可靠性机制，分析了如何确保失效数据的准确性、软件可靠性等级以及它与定性可靠性和定量可靠性的关系。最后向与会者介绍了软件可靠性生命周期及常用数学模型，以及可靠性工程搭建。
TÜV莱茵软件可靠性认证
为此，TÜV莱茵建立了一整套完整的可靠性评价标准要求，涵盖了不同电子/电气产品的硬件可靠性和软件可靠性标准。这些标准基于国际通用的标准以及行业内广泛采用的规范，并在基础上提出了更高的要求。
根据所制定的标准，在产品开发阶段，对其在可靠性提升设计机制、容错机制和故障恢复机制等方面的实施情况进行了评估。在测试阶段，则对测试方法的充分性、测试用例的设计方法、高应力测试以及真实环境测试的覆盖情况进行了评估；此外，还对故障数据收集系统进行了评估，以确保能够完整地收集到故障数据。
从多年前鸿蒙内核获颁TÜV莱茵IEC 61508功能安全认证，到今天双方再次携手攻克软件可靠性的量化难题，TÜV莱茵与华为持续携手推动行业标准升级。陈伟康博士表示，作为全球领先的技术服务伙伴，TÜV莱茵始终专注一件事，就是用科学方法守护数字化世界的可靠性。未来，TÜV莱茵将与华为共同打造国际软件可靠性标准，从芯片、系统到云端，赋能各行各业数字化系统的可靠性与韧性。
粤公网安备44011202002754号