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.
Janus is presented, an LLM-assisted framework that synthe-sizes custom instructions integrated into the Ibex RISC-V core while keeping correctness outside the agent, demonstrating a practical path for using LLMs to explore ISA specialization without making the agent part of the trusted correctness boundary.
A framework built on top of Zephyr RTOS that enables secure multitenancy on MCUs that leverages PMP-based hardware memory protection for tenant isolation, dynamically loadable applications via Zephyr’s LLEXT subsystem with mTLS-authenticated connection for post-deployment reconfigurability, and a condition-based publis...
Elad Lahav, Julien Gourgue, C. Pelsser et al.· 2 citations
This work presents the first large-scale Systematization of Knowledge of Knowledge of the HRE workflow, analyzing 187 peer-reviewed publications and derives stakeholder-specific recommendations for academia, industry, and government to transition HRE from isolated research silos toward a collaborative discipline capabl...
Zehra Karadağ, Simon Klix, René Walendy et al.· IACR Transactions on Cryptog...· 0 citations
Stakeholder-specific recommendations for academia, industry, and government to transition HRE from isolated research silos toward a collaborative discipline capable of assuring increasingly complex, global hardware supply chains are derived.
Zehra Karadağ, Simon Klix, René Walendy et al.· 0 citations
Co-design of hardware and software offers stronger security and ease of use The CHERIoT platform is a RISC-V-based ISA, an RTOS, and a programmer model that were co-designed for security. The ISA provides hardware mechanisms for enforcing spatial and (heap) temporal memory safety, type safety for opaque types, and ligh...
Violet combines RISC-V's virtualization features with software-based emulation, enabling the execution of unmodified M-mode RTOSs, and was implemented on the SiFive HiFive Premier P550 hardware, demonstrating that existing RTOSs can run on Violet's VM and that coexistence with GPOSs like Linux is also possible.
Taro Kito, Ryosuke Yamamoto, Keisuke Horii et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
