PikeOS實時虛擬化嵌入式操作系統

概述：

虛擬化技術： 在標準CPU和硬件輔助虛擬化的CPU如ARM-VE，ARM TrustZone，Intel VT或飛思卡爾Q or IQ性能優化的半虛擬化，以最小的客戶操作系統改動確保高性能。通過他們的本地驅動程序PikeOS提供的設備驅動程序。保證CPU支持的IOMMU管理免受不可信的客戶機操作系統發起惡意DMA傳輸平臺

標準認證： 微內核PikeOS嚴格的時間和資源分區防止應用程序故障傳播到系統中的任何其他地方。 PikeOS是根據安全標準，如DO-178B，IEC 61508，EN50128，ISO26262或IEC62304的相關證書規定的開發過程標準開發完成，認證產品和過程文件，也可以作為一個認證工具包提供給SYSGO客戶。

安全性：除了PikeOS多層安全體系結構，基于數據和應用程序的分離和控制信息流。PikeOS微內核架構可與MILS架構完全兼容，目前正在參與各種安全標準認證，如通用標準EAL5+/ 6（IEC15408）。

先進的調度和時序支持： PikeOS采用了新的調度相結合時序和優先級調度驅動。關鍵應用程序的硬實時需求，同時還提供調度用于非關鍵任務的實現。它可以在多個預先配置的時間分區調度方案之間切換，基于所述平臺操作模式來優化的CPU使用率。

安全監測： PikeOS提供內置的安全監測功能，實現了ARINC-653標準中描述的所有功能。根據系統和分區的具體配置截取和處理。這確保可預測系統的行為。

PIKEOS行業解決方案

● 航空: 在單一的硬件平臺整合不同的安全和安全級別的多個應用程序。

● 汽車: 將多種駕駛者輔助系統，控制系統和網絡接口的安全和可靠的整合在一個平臺上。

● 鐵路 : 保證功能安全性和列車的保護和交通管理防止惡意攻擊 。

● 工業自動化: 安全可靠的實時平臺保護應用程序并提供安全更新，同時增進工藝流程

● 醫療: 實時響應確保患者的數據隱私，機密性和完整性

● 綠色能源: 在物聯網中網絡智能電網基礎設施的保護 

PikeOS提供多種行業安全認證標準