PikeOS实时虚拟化嵌入式操作系统

PikeOS 提供了一个模块化系统架构，可在单个硬件平台上集成多个应用程序。PikeOS提供完整的RTOS和虚拟化和分区系统，旨在支持汽车应用的特殊要求。我们的PikeOS平台的核心是一个小型，可认证的微内核，提供了一个虚拟化基础架构，能够将各种资源和功能需求存储到安全的单个分区中。由于汽车使用范围从非关键信息娱乐系统到汽车中的高度关键控制功能，因此PikeOS提供了广泛的个性：从POSIX®到Linux和Android再到AUTOSAR或GENIVI。得益于严格的分离技术，不同安全级别，不同临界级别的应用

在标准CPU和硬件辅助虚拟化的CPU如ARM-VE，ARM TrustZone，IntelVT或飞思卡尔Q or IQ性能优化的半虚拟化，以最小的客户操作系统改动确保高性能。虚拟化的客户机操作系统既可以访问I/O资源，通过他们的本地驱动程序或使用一个通用的基础架构来访问PikeOS提供的设备驱动程序。保证CPU支持的IOMMU管理免受不可信的客户机操作系统发起恶意DMA传输平台。

基于实时多任务操作系统的微内核操作系统。虚拟机管理程序提供了可承载不同应用的分区 - 从简单关键的控制任务，到一个完整的操作系统，如Linux或Android。因此，嵌入式程序和IT 应用可以在同一个平台上共存。复杂的系统现在可以在一个硬件平台上迚行整合。这样可以节省体积能耗和布线，幵减少成 本 。不同软件包的隔离和封装实现了资源分区和时间分区。对所有可用和临时资源进行静态分配。每个应用程序都获理对分配资源的保证访部权限，但对其他分区的资源没有任何访部的权限，严格按照保证一个分区的故障不会影响到其他分区，从面保证安全可靠的运行。

PikeOS的虚拟化环境允许通过严格的静态时间和资源划分来分离和隔离应用程序。这提供了运行混合关键配置的机会，例如低关键配置的机会，例如低关键Linux分区提供复杂（TCP/IP）网络堆栈的黑通道通信。同时，高关键应用程序（提供功能安全）在单独的分区中运行，不受Linux分区的影响。

如：SSV概念允许PikeOS在单个CPU平台上运行基于Linux的子系统和具有自己专有操作系统的安全关键应用程序。所有分区都在用户模式下运行，不影响稳定的内核模式。

该PikeOS虚拟机管理程序 可 在X86上运行，也用于ARM，PowerPC，SPARC V8/ LEON或MIPS，可以完美兼容其他类型CPU。

提供首个工业级嵌入式Linux系统，首个认证的嵌入式虚拟化RTOS，首个SIL4认证的多核心虚拟化管理程序，汽车生产行业中的首个管理程序，首个基于软件的AFDX实现。支持AUTOSAR

系统特点
• 基于实时操作系统微内核 PikeOS
• 嵌入式虚拟化平台, 支持多核处理器
• 安全性和资源分区, 认证IP栈和文件系统
• MILS 兼容性安全架构 CC的 EAL 5/6 认证
• 安全性认证：通过DO-178B, IEC61508, EN50128, ISO26262, IEC62304认证标准
• 市场上最广泛的特性:Linux, Android™, legacy RTOS, RTEMS, POSIX, ARINC-653, Java, AUTOSAR,
• 可用于PowerPC, x86, ARM, MIPS, Sparc V8/LEON…完整的软件硬件生态系统。

PikeOS提供多种行业安全认证标准

行业解决方案：

汽车 : 将多种驾驶者辅助系统，控制系统和网络接口的安全和可靠的整合在一个平台上 ，现代汽车内部的电子系统能够控制关键系统，例如转向和制动装置。特别是与外界的通信需要确定性和准确的响应时间，而这只能通过底层实时操作系统来实现。

铁路 : 保证功能安全性和列车的保护和交通管理防止恶意攻击 ，时间分区的概念已经扩展到考虑多个处理器内核。PikeOS 是第一个获得多  核支持 SIL 4 安全认证的操作系统，降低了处理器内核之间的干扰，并有助于系统的整体确定性行为。

船舶:  建立舰船的系统管理以及各分系统的实时系统。

航空和国防: 在单一的硬件平台整合不同的安全和安全级别的多个应用程序。