風(fēng)河Helix虛擬化平臺(tái)和VxWorks 653提供更廣泛的安全認(rèn)證證據(jù)
全球領(lǐng)先的關(guān)鍵任務(wù)智能系統(tǒng)軟件提供商風(fēng)河公司近日宣布,提供更廣泛的安全認(rèn)證平臺(tái)架構(gòu)支持。使得其在行業(yè)領(lǐng)先的平臺(tái)軟件進(jìn)一步滿足關(guān)鍵任務(wù)應(yīng)用系統(tǒng)的高密度計(jì)算需求,特別是滿足航空航天與國(guó)防領(lǐng)域的相關(guān)需求。支持運(yùn)行在Armv8-A架構(gòu)之上的Wind River Helix? Virtualization Platform,DO-178C DAL A級(jí)認(rèn)證證據(jù)現(xiàn)已上市。最新版本的VxWorks? 653在PowerPC平臺(tái)上也已獲得更新的DO-178C DAL A級(jí)認(rèn)證證據(jù)。
本文引用地址:http://2s4d.com/article/202304/446074.htm帶有DO-178C DAL A級(jí)認(rèn)證證據(jù)的Helix平臺(tái),是一個(gè)可獲得安全認(rèn)證的多核、多租戶平臺(tái),支持多個(gè)獨(dú)立關(guān)鍵性認(rèn)證等級(jí)。其設(shè)計(jì)目標(biāo)是面向廣泛的關(guān)鍵任務(wù)領(lǐng)域應(yīng)用場(chǎng)景,例如商用與軍用航空,支持企業(yè)客戶將非安全軟件與獲得安全認(rèn)證的軟件一起運(yùn)行,并達(dá)到航空電子(DO-178C)、汽車(chē)(ISO 26262)、工業(yè)(IEC 61508)及其它行業(yè)標(biāo)準(zhǔn)的最高要求。Helix平臺(tái)也符合ARINC 653標(biāo)準(zhǔn),可在最新的硬件平臺(tái)上提供完善的時(shí)間分區(qū)和空間分區(qū),從而確保故障隔離機(jī)制并把測(cè)試和集成工作量降至最少。
同樣具備DO-178C DAL A級(jí)認(rèn)證證據(jù)的VxWorks 653,是一個(gè)安全可靠的多核、多租戶平臺(tái),適用于PowerPC架構(gòu),而且符合ARINC 653標(biāo)準(zhǔn),具備與Helix平臺(tái)同等的健壯性。
風(fēng)河公司首席產(chǎn)品官Avijit Sinha介紹說(shuō):“智能邊緣的發(fā)展向航空航天和國(guó)防等行業(yè)提出了一系列特殊的要求和挑戰(zhàn),特別是與認(rèn)證需求相關(guān)的復(fù)雜度急劇增加。新推出的Helix平臺(tái)和VxWorks 653都獲得了最新的安全認(rèn)證證據(jù),支持我們?yōu)榭蛻籼峁└蟮撵`活性,進(jìn)一步加速創(chuàng)新,有力推動(dòng)新一代安全可靠多操作系統(tǒng)智能設(shè)備的發(fā)展。”
VxWorks 653已在最具挑戰(zhàn)性的安全關(guān)鍵應(yīng)用中得到驗(yàn)證,風(fēng)河的技術(shù)讓其更便捷、更經(jīng)濟(jì)地滿足EN 50128、IEC 61508、ISO 26262、DO-178C和ED-12C等嚴(yán)苛的安全認(rèn)證要求。
歷經(jīng)120多個(gè)型號(hào)的民用和軍用飛機(jī)、880多個(gè)安全項(xiàng)目以及400多家企業(yè)客戶的驗(yàn)證,風(fēng)河不斷推動(dòng)航空航天和國(guó)防市場(chǎng)向軟件定義系統(tǒng)的演進(jìn)。
評(píng)論