風河Helix虛擬化平臺和VxWorks 653提供更廣泛的安全認證證據

全球領先的關鍵任務智能系統軟件提供商風河公司近日宣布，提供更廣泛的安全認證平臺架構支持。使得其在行業領先的平臺軟件進一步滿足關鍵任務應用系統的高密度計算需求，特別是滿足航空航天與國防領域的相關需求。支持運行在Armv8-A架構之上的Wind River Helix? Virtualization Platform，DO-178C DAL A級認證證據現已上市。最新版本的VxWorks? 653在PowerPC平臺上也已獲得更新的DO-178C DAL A級認證證據。 

帶有DO-178C DAL A級認證證據的Helix平臺，是一個可獲得安全認證的多核、多租戶平臺，支持多個獨立關鍵性認證等級。其設計目標是面向廣泛的關鍵任務領域應用場景，例如商用與軍用航空，支持企業客戶將非安全軟件與獲得安全認證的軟件一起運行，并達到航空電子（DO-178C）、汽車（ISO 26262）、工業（IEC 61508）及其它行業標準的最高要求。Helix平臺也符合ARINC 653標準，可在最新的硬件平臺上提供完善的時間分區和空間分區，從而確保故障隔離機制并把測試和集成工作量降至最少。 

同樣具備DO-178C DAL A級認證證據的VxWorks 653，是一個安全可靠的多核、多租戶平臺，適用于PowerPC架構，而且符合ARINC 653標準，具備與Helix平臺同等的健壯性。 

風河公司首席產品官Avijit Sinha介紹說：“智能邊緣的發展向航空航天和國防等行業提出了一系列特殊的要求和挑戰，特別是與認證需求相關的復雜度急劇增加。新推出的Helix平臺和VxWorks 653都獲得了最新的安全認證證據，支持我們為客戶提供更大的靈活性，進一步加速創新，有力推動新一代安全可靠多操作系統智能設備的發展。” 

VxWorks 653已在最具挑戰性的安全關鍵應用中得到驗證，風河的技術讓其更便捷、更經濟地滿足EN 50128、IEC 61508、ISO 26262、DO-178C和ED-12C等嚴苛的安全認證要求。 

歷經120多個型號的民用和軍用飛機、880多個安全項目以及400多家企業客戶的驗證，風河不斷推動航空航天和國防市場向軟件定義系統的演進。