PikeOS實時虛擬化嵌入式操作系統(tǒng)
概述:
虛擬化技術(shù): 在標(biāo)準(zhǔn)CPU和硬件輔助虛擬化的CPU如ARM-VE,ARM TrustZone,Intel VT或飛思卡爾Q or IQ性能優(yōu)化的半虛擬化,以最小的客戶操作系統(tǒng)改動確保高性能。通過他們的本地驅(qū)動程序PikeOS提供的設(shè)備驅(qū)動程序。保證CPU支持的IOMMU管理免受不可信的客戶機操作系統(tǒng)發(fā)起惡意DMA傳輸平臺
標(biāo)準(zhǔn)認(rèn)證: 微內(nèi)核PikeOS嚴(yán)格的時間和資源分區(qū)防止應(yīng)用程序故障傳播到系統(tǒng)中的任何其他地方。 PikeOS是根據(jù)安全標(biāo)準(zhǔn),如DO-178B,IEC 61508,EN50128,ISO26262或IEC62304的相關(guān)證書規(guī)定的開發(fā)過程標(biāo)準(zhǔn)開發(fā)完成,認(rèn)證產(chǎn)品和過程文件,也可以作為一個認(rèn)證工具包提供給SYSGO客戶。
安全性:除了PikeOS多層安全體系結(jié)構(gòu),基于數(shù)據(jù)和應(yīng)用程序的分離和控制信息流。PikeOS微內(nèi)核架構(gòu)可與MILS架構(gòu)完全兼容,目前正在參與各種安全標(biāo)準(zhǔn)認(rèn)證,如通用標(biāo)準(zhǔn)EAL5+/ 6(IEC15408)。
先進的調(diào)度和時序支持: PikeOS采用了新的調(diào)度相結(jié)合時序和優(yōu)先級調(diào)度驅(qū)動。關(guān)鍵應(yīng)用程序的硬實時需求,同時還提供調(diào)度用于非關(guān)鍵任務(wù)的實現(xiàn)。它可以在多個預(yù)先配置的時間分區(qū)調(diào)度方案之間切換,基于所述平臺操作模式來優(yōu)化的CPU使用率。
安全監(jiān)測: PikeOS提供內(nèi)置的安全監(jiān)測功能,實現(xiàn)了ARINC-653標(biāo)準(zhǔn)中描述的所有功能。根據(jù)系統(tǒng)和分區(qū)的具體配置截取和處理。這確保可預(yù)測系統(tǒng)的行為。
PIKEOS行業(yè)解決方案
● 航空: 在單一的硬件平臺整合不同的安全和安全級別的多個應(yīng)用程序。
● 汽車: 將多種駕駛者輔助系統(tǒng),控制系統(tǒng)和網(wǎng)絡(luò)接口的安全和可靠的整合在一個平臺上。
● 鐵路 : 保證功能安全性和列車的保護和交通管理防止惡意攻擊 。
● 工業(yè)自動化: 安全可靠的實時平臺保護應(yīng)用程序并提供安全更新,同時增進工藝流程
● 醫(yī)療: 實時響應(yīng)確保患者的數(shù)據(jù)隱私,機密性和完整性
● 綠色能源: 在物聯(lián)網(wǎng)中網(wǎng)絡(luò)智能電網(wǎng)基礎(chǔ)設(shè)施的保護
PikeOS提供多種行業(yè)安全認(rèn)證標(biāo)準(zhǔn)