摘要:另一方面是提供的安全程度。這解決了為功能安全而設(shè)計(jì)的絕大多數(shù)設(shè)備用例。項(xiàng)目已經(jīng)開(kāi)始致力于在開(kāi)源環(huán)境中開(kāi)發(fā)功能安全認(rèn)證的。最后,認(rèn)證將建立軟件故障避免和控制措施到目標(biāo)完整性水平。
作者:Amber Hibberd,博士。英特爾功能安全工程經(jīng)理和Zephyr項(xiàng)目成員
連接設(shè)備的持續(xù)增長(zhǎng),暴露了物聯(lián)網(wǎng)市場(chǎng)的明顯差距:需要免費(fèi)的、允許許可證的開(kāi)源實(shí)時(shí)操作系統(tǒng),該系統(tǒng)已獲得國(guó)際電工委員會(huì)(International Electrotechnical Commission,IEC)和國(guó)際標(biāo)準(zhǔn)化組織(International Organization for Standardization,ISO)的功能安全認(rèn)證。
Zephyr項(xiàng)目旨在滿足這一需求,并計(jì)劃成為此類別中第一個(gè)提交其核心操作系統(tǒng),包括長(zhǎng)期支持(long term support,LTS)發(fā)布的內(nèi)核和操作系統(tǒng)服務(wù)以進(jìn)行認(rèn)證。這些證書很重要,因?yàn)樗鼈儽砻鳟a(chǎn)品已經(jīng)過(guò)仔細(xì)審查和測(cè)試,并且在安全相關(guān)系統(tǒng)中被認(rèn)為是值得信賴的。
什么是功能安全?根據(jù)IEC,“功能安全依賴于主動(dòng)(active)系統(tǒng),例如通過(guò)傳感器檢測(cè)煙霧以及隨后智能激活滅火系統(tǒng)?!贝送?,“功能安全本質(zhì)上是端到端的,它必須將組件或子系統(tǒng)的功能視為任何系統(tǒng)的整個(gè)自動(dòng)保護(hù)功能的一部分?!?/p>
另一方面是提供的安全程度。IEC定義了安全完整性等級(jí)(safety integrity level,SIL),ISO規(guī)定了汽車安全完整性等級(jí)(automotive safety integrity level ,ASIL)。從本質(zhì)上講,這些衡量了危險(xiǎn)失敗的可能性。IEC 61508標(biāo)準(zhǔn)定義了四個(gè)級(jí)別,SIL 4是最可靠和最嚴(yán)格的。Zephyr RTOS將包含Zephyr軟件的硬件系統(tǒng)針對(duì)SIL 3。這解決了為功能安全而設(shè)計(jì)的絕大多數(shù)設(shè)備用例。針對(duì)汽車,我們將提交ISO 26262 ASIL D,以獲得許多自動(dòng)汽車系統(tǒng)的使用資格。
ZEPHYR在做什么?Zephyr認(rèn)證范圍適用于跨所選體系結(jié)構(gòu)的核心操作系統(tǒng),包括內(nèi)核和操作系統(tǒng)服務(wù)。Zephyr有許多RTOS元素仍然不在第一次提交的范圍內(nèi),如平臺(tái)驅(qū)動(dòng)程序、板級(jí)支持包、平臺(tái)特定的電源管理實(shí)現(xiàn)、文件系統(tǒng)和傳感器驅(qū)動(dòng)程序?qū)崿F(xiàn)。
Zephyr項(xiàng)目已經(jīng)開(kāi)始致力于在開(kāi)源環(huán)境中開(kāi)發(fā)功能安全認(rèn)證的RTOS。我們正在與證書頒發(fā)機(jī)構(gòu)合作,以確保我們有提交的基礎(chǔ)。開(kāi)源的一個(gè)關(guān)鍵方面是邀請(qǐng)社區(qū)貢獻(xiàn)。我們正在修改我們的開(kāi)發(fā)流程以保持社區(qū)參與,同時(shí)確保高完整性代碼所需的嚴(yán)格流程控制,和開(kāi)發(fā)工具分析。在某些情況下,開(kāi)源可以更安全,因?yàn)殚_(kāi)發(fā)的透明性和來(lái)自不同社區(qū)人士注視代碼的眼球數(shù)量。
Zephyr RTOS功能安全評(píng)估分兩個(gè)階段進(jìn)行:概念審查和功能安全管理階段,以及詳細(xì)的測(cè)試階段。第一階段包括Zephyr軟件安全要求和架構(gòu)規(guī)范,以及驗(yàn)證和確認(rèn)計(jì)劃。階段二包括在軟件的所有級(jí)別(例如軟件模塊、軟件集成),故障注入測(cè)試和編碼指南合規(guī)性的測(cè)試。最后,認(rèn)證將建立軟件故障避免和控制措施到目標(biāo)完整性水平。
開(kāi)發(fā)者可以期待什么?我們的LTS版本將在年中向開(kāi)發(fā)者提供。這是開(kāi)始對(duì)證書提交代碼進(jìn)行測(cè)試和原型設(shè)計(jì)的好方法。一旦我們完成認(rèn)證,產(chǎn)品設(shè)計(jì)者就可以使用符合安全要求的最終Zephyr OS內(nèi)核來(lái)創(chuàng)建他們的硬件和應(yīng)用軟件系統(tǒng)。這將縮短構(gòu)建需要功能安全環(huán)境的產(chǎn)品的路徑。
我們期待為工業(yè)、汽車、智能城市和其他產(chǎn)品開(kāi)發(fā)商提供支持,因?yàn)樗麄儗ephyr RTOS集成到他們的安全驅(qū)動(dòng)解決方案中。有關(guān)我們免費(fèi)、安全認(rèn)證的RTOS的更多信息,請(qǐng)通過(guò)Zephyr網(wǎng)站與我們聯(lián)系。我們很樂(lè)意在你的產(chǎn)品中使用我們的代碼!
要了解更多信息或提出問(wèn)題,請(qǐng)注冊(cè)Zephyr Project的Slack頻道。
KubeCon + CloudNativeCon和Open Source Summit大會(huì)日期:
會(huì)議日程通告日期:2019 年 4 月 10 日
會(huì)議活動(dòng)舉辦日期:2019 年 6 月 24 至 26 日
KubeCon + CloudNativeCon和Open Source Summit贊助方案
KubeCon + CloudNativeCon和Open Source Summit多元化獎(jiǎng)學(xué)金現(xiàn)正接受申請(qǐng)
KubeCon + CloudNativeCon和Open Source Summit即將首次合體落地中國(guó)
KubeCon + CloudNativeCon和Open Source Summit購(gòu)票窗口,立即購(gòu)票!
文章版權(quán)歸作者所有,未經(jīng)允許請(qǐng)勿轉(zhuǎn)載,若此文章存在違規(guī)行為,您可以聯(lián)系管理員刪除。
轉(zhuǎn)載請(qǐng)注明本文地址:http://m.specialneedsforspecialkids.com/yun/11473.html
摘要:自年以來(lái),在智能家居市場(chǎng)的驅(qū)動(dòng)下,智能貓眼市場(chǎng)膨脹速度驚人。移動(dòng)偵測(cè)即人體感應(yīng)當(dāng)有人經(jīng)過(guò)門前時(shí)會(huì)自動(dòng)啟動(dòng)拍照或者錄像功能記錄來(lái)訪者。而實(shí)時(shí)操作系統(tǒng)內(nèi)核小巧,對(duì)任何中斷指令都可以做到馬上響應(yīng),系統(tǒng)啟動(dòng)時(shí)間則只有幾秒鐘。 1、背景 ????隨著人工智能的迅速發(fā)展,智能家居的時(shí)代已經(jīng)到來(lái),除了智...
摘要:的首次公開(kāi)發(fā)行是在年。年,得到了廣泛的采用,和都將添加進(jìn)他們的虛擬化解決方案。收購(gòu)之后將其產(chǎn)品整合,統(tǒng)一更名為。奠定了在服務(wù)器虛擬化市場(chǎng)的地位。年月日,項(xiàng)目被宣布作為一個(gè)合作項(xiàng)目移至基金會(huì)下。前言XenServer是一個(gè)由Citrix發(fā)起和管理的開(kāi)源項(xiàng)目和社區(qū)。該項(xiàng)目開(kāi)發(fā)的開(kāi)源軟件實(shí)現(xiàn)了虛擬化的多種功能,允許在硬件設(shè)備上安全地運(yùn)行多個(gè)操作系統(tǒng)和應(yīng)用程序,完成硬件整合和自動(dòng)化;將靜態(tài)、復(fù)雜的I...
摘要:除了一些線程調(diào)度和線程模型的調(diào)整,我們還需要進(jìn)行業(yè)務(wù)邏輯上的優(yōu)化,比如縮減高消耗,低反饋的業(yè)務(wù)模塊,降低消耗,限制業(yè)務(wù)邏輯隊(duì)列內(nèi)存分配增長(zhǎng)空間,避免某些業(yè)務(wù)場(chǎng)景中內(nèi)存持續(xù)增長(zhǎng)導(dǎo)致系統(tǒng)奔潰。 1、HaaS RTC背景介紹 HaaS RTC是阿里云IoT聯(lián)合視頻云開(kāi)發(fā)的IoT設(shè)備端上的實(shí)時(shí)通...
閱讀 2298·2021-11-16 11:51
閱讀 3510·2021-09-26 10:14
閱讀 1840·2021-09-22 15:58
閱讀 1103·2019-08-30 15:52
閱讀 2019·2019-08-30 15:43
閱讀 2620·2019-08-30 13:46
閱讀 914·2019-08-30 13:10
閱讀 1026·2019-08-29 18:32