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