全球首款！麒麟軟件Kvisor Cert獲TÜV南德SIL 3認證

　　8月14日，麒麟軟件面向安全關鍵場景打造的嵌入式虛拟化軟件Kvisor Cert，順利通過國際權威第三方認證機構TÜV南德意志集團(以下簡稱“TÜV南德”)功能安全評估，獲得IEC 61508 SIL 3功能安全産品認證，成為全球首款取得該項認證的Rust嵌入式虛拟化軟件。這也是TÜV南德頒發的全球首張具備DAkkS認證的基于Rust管理程序的功能安全證書。

　　TÜV南德北亞區首席财務長李仲衡、麒麟軟件高級副總經理淡建群出席頒證儀式

　　Kvisor Cert是麒麟軟件終端增值産品體系中分域虛拟化軟件Kvisor面向功能安全領域形成的重要成果，此次認證标志着麒麟軟件在Rust嵌入式虛拟化技術及其功能安全工程化方面取得重要突破，為國産基礎軟件面向安全關鍵場景的産品化應用提供了有力支撐。正如TÜV南德北亞區首席财務長李仲衡表示，功能安全認證是衡量産品可靠性、打通全球市場的重要标準。本次認證不僅充分印證麒麟軟件自主研發技術能力，也是國産基礎軟件對接全球合規體系的重要裡程碑。

　　Kvisor Cert IEC 61508 SIL 3功能安全産品認證證書

　　權威認證

　　釋放Rust優勢，提升系統可靠性

　　IEC 61508是工業控制、高端裝備制造、軌道交通、能源管控等安全關鍵行業的核心準入依據，也是全球功能安全領域的權威标杆。該标準覆蓋軟件全生命周期管控，針對軟件開發、架構設計、代碼實現、驗證确認、流程追溯等環節提出嚴苛的規範要求，同時對操作系統内核架構、内存安全防護、故障容錯處理、研發流程管控等核心能力設置了高标準考核要求。

　　長期以來，國内安全關鍵領域的軟件系統普遍采用C/C++語言開發，内存越界、空指針異常等内存類漏洞，始終是制約高可靠工業系統穩定運行的核心安全隐患。相較于傳統開發語言，Rust語言憑借原生内存安全、專屬所有權機制、高并發安全等獨特優勢，成為下一代安全關鍵系統開發的核心技術路線。

　　Kvisor Cert核心内核關鍵模塊均基于Rust語言自主搭建，充分釋放Rust語言原生内存安全優勢，從底層架構層面規避傳統操作系統的内存安全缺陷，從根源上提升系統運行可靠性。

　　Kvisor Cert分域虛拟化軟件架構示意圖

　　麒麟軟件高級副總經理淡建群表示，此次認證标志着Kvisor Cert既有信息安全優勢之上，進一步建立了功能安全能力；針對工業控制、智能裝備、軌道交通等安全關鍵行業用戶，麒麟軟件具備了提供相關産品和解決方案的能力。

　　技術創新

　　推動Rust在嵌入式虛拟化中的安全關鍵應用

　　Rust語言安全特性為安全關鍵軟件開發提供了良好的技術基礎，但語言層面的安全能力并不直接等同于功能安全。Kvisor Cert順利通過認證，難點不隻是産品本身複雜，更在于Rust在功能安全領域缺少成熟、可直接複用的工程和認證路徑。

　　圍繞Kvisor Cert功能安全産品認證，麒麟軟件建立了覆蓋需求與設計追溯的功能安全證據體系。系統論證了正确性、完整性和充分性。

　　相關實踐形成了完整Rust功能安全工程實施路徑，為國産Rust基礎軟件開展功能安全認證和行業應用積累了可借鑒的工程經驗。

　　應用價值

　　支撐安全關鍵系統隔離部署與安全論證

　　随着工業控制、能源電力、智能制造、機器人、軌道交通和航空航天等領域加速向智能化、融合化和國産化演進，相關行業對基礎軟件的安全性、可靠性、實時性、确定性和可認證能力提出了更高要求。此次認證将進一步增強Kvisor Cert面向高安全要求場景的工程應用能力，為客戶選型、項目實施和系統安全論證提供支撐。

　　Kvisor Cert典型應用場景

　　面向安全關鍵應用場景，Kvisor Cert可用于支撐通用計算、實時控制、安全監測等任務在同一硬件平台上的隔離部署，降低多系統集成複雜度;通過靜态資源劃分和故障隔離機制，限制局部軟件故障的傳播範圍，降低其對其他分域及整機關鍵功能的影響;同時，其認證結果和功能安全證據也可為整機系統功能安全論證、産品準入和第三方評估提供重要支撐。

　　面向未來，麒麟軟件将立足國産操作系統核心技術創新，持續完善覆蓋通用計算、嵌入式與實時計算、安全關鍵系統和智能裝備等領域的基礎軟件技術與産品體系，進一步推動Rust等新一代系統編程語言在可靠性、安全性、實時性和确定性要求較高的場景中實現工程化應用，深化Kvisor Cert及相關基礎軟件産品的行業應用與生态協同，為國産安全關鍵系統建設提供自主可靠的基礎軟件支撐。