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