Sistemas operativos y virtualización certificable

Sistemas operativos de tiempo real (RTOS)

Hipervisores de separación y virtualización segura

Plataformas de Tiempo Real y Virtualización de Seguridad Crítica

La consolidación de múltiples cargas de trabajo en procesadores multinúcleo modernos exige una base de software capaz de garantizar simultáneamente el determinismo temporal estricto, el particionamiento espacial robusto y la ciberseguridad a nivel de silicio. DONALBA ELECTRÓNICA proporciona en el mercado nacional las tecnologías líderes de sistemas operativos de tiempo real (RTOS) e hipervisores de separación certificables, permitiendo a los arquitectos de sistemas aeroespaciales y de defensa reducir el tamaño, peso, consumo y coste (SWaP-C) sin comprometer la seguridad funcional ni la aeronavegabilidad.

Arquitecturas Abiertas, Particionamiento y Certificación Multinivel

Frente a los sistemas propietarios monolíticos, las plataformas de virtualización segura y RTOS representadas por DONALBA ELECTRÓNICA implementan una arquitectura modular abierta (MOSA) basada en estándares internacionales de la industria:

  • Determinismo y planificación ARINC 653: Garantía absoluta de tiempos de respuesta acotados y ejecución cíclica predecible para tareas críticas de control y guiado, evitando interferencias entre particiones de software que comparten recursos de procesamiento.
  • Aislamiento por hipervisor de separación: Utilización directa de las extensiones de virtualización del procesador para crear dominios herméticos donde conviven aplicaciones de nivel DO-178C DAL A junto con sistemas operativos de propósito general como Linux o entornos de inteligencia artificial en el borde (Edge AI).
  • Compatibilidad nativa con POSIX y FACE: Portabilidad inmediata de aplicaciones heredadas y nuevas arquitecturas conformes al estándar Future Airborne Capability Environment, reduciendo drásticamente los plazos de integración y los costes de recertificación ante cambios de hardware.
  • Paquetes de evidencia de certificación (RSC): Disponibilidad de artefactos reutilizables de certificación para normativas aeronáuticas RTCA DO-178C, estándares industriales IEC 61508 y evaluaciones de seguridad cibernética bajo criterios comunes.

Casos de Uso en Sistemas Críticos y Consolidación Multinúcleo

El suministro técnico de DONALBA ELECTRÓNICA en sistemas operativos y virtualización certificable da respuesta directa a escenarios operativos de alta exigencia:

  • Computadores de misión e IMA (Integrated Modular Avionics): Consolidación de funciones de vuelo, navegación y gestión táctica sobre un único chasis VPX/SOSA en cazas, helicópteros y aeronaves de transporte militar.
  • Sistemas autónomos y enjambres de UAS: Separación estricta entre las leyes de autopiloto certificadas para el espacio aéreo compartido y los algoritmos avanzados de visión artificial y autonomía de misión.
  • Vehículos blindados, pasarelas multidominio y satélites: Estaciones de tripulación, nodos de comunicaciones seguras (MILS) y computadores de a bordo espaciales con actualización segura de software en órbita.