LithOS Bare-Metal: an unusual path for an RTOS
-
Gotor-Ramos, Miguel
[1]
;
Cuesta-Martínez, Carlos
[1]
;
Masmano-Tello, Miguel
[1]
;
Muñoz-Alcobendas, Manuel
[1]
-
[1] FENTISS
-
- Localización: Jornadas de Automática, ISSN-e 3045-4093, Nº. 47, 2026
- Idioma: inglés
- DOI: 10.17979/ja-cea.2026.47.13730
- Enlaces
-
Resumen
This paper presents LithOS Bare-Metal (LithOS-BM), a Real-Time Operating System (RTOS) partially compliant with the ARINC 653 APEX standard, designed for small embedded systems where partitioning or virtualization is unnecessary or infeasible, and rapid response times are critical.Integrated Modular Avionics consolidates software functions into shared computing resources, reducing hardware, weight, and power consumption. ARINC 653 defines guidelines for Time and Space Partitioning (TSP), specifying a separation kerneland an APEX API for application software.Originally, LithOS was developed as a guest RTOS for the XtratuM Next Generation hypervisor, which enforces strict TSP within a virtualized environment. However, certain embedded applications do not require complex hypervisor-managed partitioning, particularly when strict timing constraints or hardware limitations prevent virtualization. LithOS-BM addresses this by replacing the hypervisor layer with a custom Board Support Package that interfaces directly with the hardware. This approach maintains ARINC 653 compliance, preemptive task scheduling, and temporal isolation while fully controlling the underlying hardware platform as a standalone RTOS.
-
Referencias bibliográficas
- Aeronautical Radio, Inc., 2010. ARINC specification 653P1-3 — Avionics application software standard interface. Part 1 - Required Services....
- Aeronautical Radio, Inc., 2012. ARINC specification 653P2-2 — Avionics application software standard interface. Part 2 - Extended Services....
- European Commission, 2022. Made-to-measure micromachining with laser beams tailored in amplitude and phase (metamorpha). EU Funding &...
- Losa, A., et al., 2024. Hardware-assisted virtualization extensions for leon processors in mixed-criticality systems. Microprocessors and...
- Masmano, M., Ripoll, I., Crespo, A., Metge, J. J., 2009. Xtratum: a hypervisor for safety critical embedded systems. In: Proceedings of the...
- Masmano, M., Valiente, Y., Balbastre, P., Ripoll, I., Crespo, A., Metge, J. J., 2010. Lithos: a arinc-653 guest operating for xtratum. In:...
