PikeOS es un sistema operativo comercial en tiempo real (RTOS) que ofrece un hipervisor basado en el kernel de separación con múltiples tipos de particiones lógicas para muchos otros sistemas operativos (cada uno llamado GuestOS) y aplicaciones. Permite a los usuarios construir dispositivos inteligentes certificables para Internet de las cosas de acuerdo con los estándares de alta calidad, seguridad y protección de diferentes industrias.
Desarrollador | SYSGO GmbH |
---|---|
Familia OS | Sistema operativo en tiempo real |
Estado de trabajo | Actual |
Modelo fuente | Fuente cerrada |
Último lanzamiento | 5.0 / febrero de 2020 |
Objetivo de marketing | Sistemas embebidos |
Disponible en | inglés |
Plataformas | BRAZO , PowerPC , x86 , SPARC |
Tipo de grano | Microkernel |
Licencia | Propiedad |
Página web oficial | www |
Descripción general
PikeOS 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 microkernel L4 . [1] PikeOS se ha desarrollado para aplicaciones críticas de seguridad y protección con necesidades de certificación en los campos aeroespacial y de defensa, automoción y transporte, automatización industrial y médica, infraestructuras de red y electrónica de consumo.
Una de las características clave de PikeOS es la capacidad de ejecutar de forma segura aplicaciones con diferentes niveles de seguridad y protección al mismo tiempo en la misma plataforma informática . Esto se logra mediante la estricta segregación espacial y temporal de estas aplicaciones mediante particiones de software. Una partición de software puede verse como un contenedor con privilegios preasignados que puede tener acceso a la memoria, el tiempo de la unidad central de procesamiento (CPU), la entrada / salida (E / S), pero también una lista predefinida de servicios PikeOS. Con PikeOS, el término aplicación se refiere a un ejecutable enlazado contra la PikeOS Application Programming Interface (API) de la biblioteca y se ejecuta como un proceso dentro de una partición. Debido a la naturaleza de la API de PikeOS, las aplicaciones pueden variar desde simples lazos de control hasta sistemas operativos invitados paravirtualizados completos 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 verse como un hipervisor de tipo 1 .
Cadena de herramientas compatible, IDE CODEO
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 integrales 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 instrucción de hardware)
- Monitoreo de objetivos
- Implementación de software de aplicación remota
- Análisis de tiempos
Varias vistas de edición gráfica dedicadas están respaldando al integrador de sistemas para mantener siempre la descripción general de los aspectos importantes de la configuración del sistema PikeOS que muestran los tipos de partición, la programación, los canales de comunicación, la memoria compartida y la configuración del dispositivo IO dentro de las particiones.
Los proyectos pueden definirse 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.
Beneficios clave
- Sistema operativo en tiempo real que incluye hipervisor de tipo 1 definido para una configuración altamente flexible
- Admite tiempos de arranque rápidos o seguros
- Apoyando la criticidad mixta a través del núcleo de separación en un sistema
- Configuración de particiones con tiempo y recursos de hardware
- Controlador de kernel y controladores de espacio de usuario compatibles
- Independencia de hardware entre tipos y familias de procesadores
- Procesos de migración sencillos y alta portabilidad en uno y varios núcleos
- Desarrollado para respaldar la certificación de acuerdo con múltiples estándares de seguridad y protección
- Reducción del tiempo de comercialización mediante herramientas de verificación y desarrollo estándar
- Amplia gama de tipos de GuestOS compatibles: API
- Sin restricción de exportación: solución europea
Estándares de certificación
Normas de certificación de seguridad según:
Estándares de certificación de seguridad según:
- Criterios comunes
- SAR (???)
Ecosistema de socios
SYSGO se compromete a establecer la tecnología y las asociaciones comerciales que ayudarán a los ingenieros de software a lograr sus objetivos. A octubre de 2017[actualizar], SYSGO está trabajando con unos 100 socios en todo el mundo. [2]
A continuación se menciona un extracto de 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, RTI, PrismTech, Datalight, Systerel, Imagination Technologies o RAPITA
- Socios de herramientas : Lauterbach, Vector Software, Rapita, iSYSTEM
- Arquitecturas compatibles : ARM , PowerPC , x86 o SPARC (bajo pedido)
Tipos de GuestOS compatibles
- Linux o Android (idealmente distribución SYSGO Linux ELinOS )
- POSIX PSE51 con extensiones PSE52
- ARINC 653
- RTEMS
- Java
- AUTOSAR
- Ada , incluido el perfil de Ravenscar
- y otros
Descripción general del final de la vida útil
tipo de producto | version del producto | Versión de CODEO vinculada | Versión de ELinOS vinculada | EOL |
---|---|---|---|---|
PikeOS | 3.4 (no certificada) | 5,0, 6,0, 6,1, 6,2 | 5.2 | Desde 12/2017 |
PikeOS | 3.4 (certificado) | 5,0, 6,0, 6,1, 6,2 | 5.2 | LTS en x86 |
PikeOS | 3,5 | 5,0, 6,0, 6,1, 6,2 | 6,0, 6,1 | Desde 12/2017 |
PikeOS | 4.0 | 6.0, 6.1, 6.2 | 6,0, 6,1 | Desde el 06/2019 |
PikeOS | 4.1 | 6.1, 6.2 | 6.1 | Anunciado para el 04/2021 |
PikeOS | 4.2 (sin certificación) | 6.2 | 6.2 | Actual |
PikeOS | 4.2 (certificado) | 6.2 | 6.2 | Actual |
PikeOS | 5.0 (sin certificación) | 7.0 | 7.0 | Actual |
PikeOS | 5,0 (certificado) | 7.0 | 7.0 | Actual |
Referencias
- ^ http://ts.data61.csiro.au/publications/nicta_full_text/8988.pdf
- ^ "Directorio de socios" . SYSGO . Consultado el 12 de octubre de 2017 .
enlaces externos
- Sitio web oficial de SYSGO
- Sitio oficial de productos de PikeOS
- Nota de producto de PikeOS (PDF)
- Folleto de PikeOS (PDF)