PikeOS

PikeOS es un sistema operativo comercial de tiempo real (RTOS) estricto que cuenta con un hipervisor basado en kernel de separación . Este hipervisor admite varios tipos de particiones lógicas para varios sistemas operativos (OS) y aplicaciones, cada uno de los cuales se conoce como GuestOS. PikeOS está diseñado para respaldar la creación de dispositivos inteligentes certificables para Internet de las cosas (IoT) , lo que garantiza el cumplimiento de los estándares de la industria en materia de calidad, seguridad y protección en varios sectores. En los casos en que no hay unidades de administración de memoria (MMU) pero sí unidades de protección de memoria (MPU) en sistemas basados ​​en controladores, PikeOS para MPU está diseñado para aplicaciones críticas en tiempo real y brinda seguridad y protección de acuerdo con los estándares.

PikeOS se introdujo en 2005 y combina un sistema operativo en tiempo real (RTOS) con una plataforma de virtualización y un entorno de desarrollo integrado (IDE) basado en Eclipse para sistemas integrados . Es un clon comercial de la familia de microkernels L4 . ^[1] PikeOS se ha desarrollado para aplicaciones críticas de seguridad y protección con necesidades de certificación en los campos de la industria aeroespacial , defensa, automoción, transporte, automatización industrial , medicina, infraestructuras de red y electrónica de consumo. El kernel de separación PikeOS (v5.1.3) está certificado según Common Criteria en EAL5+.

Una de las características clave de PikeOS es su capacidad de ejecutar de forma segura aplicaciones con diferentes niveles de seguridad y protección de forma simultánea en la misma plataforma informática . Esto se hace mediante una estricta segregación espacial y temporal de estas aplicaciones a través de particiones de software. Una partición de software puede verse como un contenedor con privilegios preasignados que puede tener acceso a la memoria, al tiempo de la unidad central de procesamiento (CPU), a la entrada/salida (E/S) y a una lista predefinida de servicios del sistema operativo. Con PikeOS, el término aplicación se refiere a un ejecutable vinculado a la biblioteca de interfaz de programación de aplicaciones (API) de PikeOS y que se ejecuta como un proceso dentro de una partición. La naturaleza de la interfaz de programación de aplicaciones ( API ) de PikeOS permite que las aplicaciones abarquen desde simples bucles de control hasta sistemas operativos invitados completamente paravirtualizados como Linux o invitados virtualizados por hardware.

Las particiones de software también se denominan máquinas virtuales (VM), porque es posible implementar un sistema operativo invitado completo dentro de una partición que se ejecuta independientemente de otras particiones y, por lo tanto, puede abordar casos de uso con criticidad mixta. PikeOS puede considerarse un hipervisor de tipo 1 .

El IDE CODEO basado en Eclipse apoya a los arquitectos de sistemas con herramientas de configuración gráfica, proporcionando todos los componentes que los ingenieros de software necesitarán para desarrollar aplicaciones integradas, además de incluir asistentes completos para ayudar al desarrollo de proyectos integrados de una manera que ahorra tiempo y es rentable:

• Configuración guiada
• Depuración remota (hasta el nivel de instrucciones del hardware)
• Monitoreo de objetivos
• Implementación de software de aplicación remota
• Análisis de tiempos

Varias vistas de edición gráfica dedicadas ayudan al integrador del sistema a mantener siempre una visión general de los aspectos importantes de la configuración del sistema PikeOS, mostrando los tipos de particiones, la programación, los canales de comunicación, la memoria compartida y la configuración del dispositivo IO dentro de las particiones.

Los proyectos se pueden definir fácilmente con la ayuda de plantillas reutilizables y distribuirse a los grupos de desarrollo. Los usuarios pueden configurar componentes predefinidos para su proyecto y también pueden definir y agregar otros componentes durante el proceso de desarrollo.

• Sistema operativo en tiempo real que incluye hipervisor tipo 1 definido para una configuración flexible
• Admite arranque rápido o seguro
• Admite criticidad mixta mediante núcleos de separación en un sistema
• Configuración de particiones con tiempo y recursos hardware
• Controladores de kernel y controladores de espacio de usuario compatibles
• Independencia del hardware entre tipos y familias de procesadores
• Procesos de migración sencillos y alta portabilidad en núcleos únicos y múltiples
• Desarrollado para respaldar la certificación según múltiples estándares de seguridad y protección.
• Reducción del tiempo de comercialización mediante herramientas de desarrollo y verificación estándar
• Sin restricciones a la exportación: la solución europea

Normas de certificación de seguridad según:

• Comisión Técnica de Radio para Aeronáutica (RTCA) – DO-178B /C
• Organización Internacional de Normalización (ISO) – 26262
• Comisión Electrotécnica Internacional (CEI) – 62304 , 61508
• ES – 50128, 50657

Estándares de certificación de seguridad según:

• Criterios comunes
• RAE (?)

SYSGO se compromete a establecer alianzas tecnológicas y comerciales que ayuden a los ingenieros de software a alcanzar sus objetivos. A partir de octubre de 2017 ^[update], SYSGO está trabajando con alrededor de 100 socios a nivel mundial. ^[2]

A continuación se menciona un extracto de los socios por categoría:

• Proveedores de placas : Curtiss-Wright Controls Embedded Computing, Kontron, MEN o ABACO
• Proveedores de silicio : NXP, Renesas, Texas Instruments (TI), Xilinx, Infineon, NVidia o Intel
• Socios de software : CoreAVI, wolfSSL , Aicas, AdaCore, Esterel, Apex.AI, RTI, PrismTech, Datalight, Systerel, Imagination Technologies o RAPITA
• Socios de herramientas : Lauterbach, Vector Software, Rapita, iSYSTEM
• Arquitecturas compatibles : ARM , PowerPC , x86 o SPARC (a pedido)

• Linux o Android (idealmente distribución Linux SYSGO ELinOS )
• POSIX PSE51 con extensiones PSE52
• ARINC653
• RTEMS
• Java
• SAR AUTOMÁTICO
• Ada , incluido el perfil de Ravenscar
• y otros ^{[ ¿cuales? ]}

• Sitio oficial del producto PikeOS
• Nota del producto PikeOS (PDF)
• Folleto de PikeOS (PDF)