Cover Image

Ariel OS: An Embedded Rust Operating System for Networked Sensors & Multi-Core Microcontrollers

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Frank, Elena, Schleiser, Kaspar, Fouquet, Romain, Zandberg, Koen, Amsüss, Christian, Baccelli, Emmanuel
Format:	Preprint
Published:	2025
Subjects:	Operating Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS
by: Thapa, Bipin, et al.
Published: (2026)

Ariel-ML: Computing Parallelization with Embedded Rust for Neural Networks on Heterogeneous Multi-core Microcontrollers
by: Huang, Zhaolan, et al.
Published: (2025)

treVM: Tiny Rust Embedded Virtual Machines with WASM on Variable Resource-Constrained Hardware
by: Lavandier, Antoine, et al.
Published: (2026)

U-TOE: Universal TinyML On-board Evaluation Toolkit for Low-Power IoT
by: Huang, Zhaolan, et al.
Published: (2023)

TenonOS: A Self-Generating LibOS-on-LibOS Framework for Time-Critical Embedded Operating Systems
by: Zhao, Xinkui, et al.
Published: (2025)

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
by: Peng, Yuke, et al.
Published: (2025)

CHRONOS: Compensating Hardware Related Overheads with Native Multi Timer Support for Real-Time Operating Systems
by: Heider, Kay, et al.
Published: (2025)

Interference-free Operating System: A 6 Years' Experience in Mitigating Cross-Core Interference in Linux
by: Deng, Zhaomeng, et al.
Published: (2024)

LithOS: An Operating System for Efficient Machine Learning on GPUs
by: Coppock, Patrick H., et al.
Published: (2025)

SquirrelFS: using the Rust compiler to check file-system crash consistency
by: LeBlanc, Hayley, et al.
Published: (2024)

HyperGraphOS: A Modern Meta-Operating System for the Scientific and Engineering Domains
by: Ceravola, Antonello, et al.
Published: (2024)

Design and Reliability of a User Space Write-Ahead Log in Rust
by: Pellegatti, Vitor K. F., et al.
Published: (2025)

MaLV-OS: Rethinking the Operating System Architecture for Machine Learning in Virtualized Clouds
by: Bitchebe, Stella, et al.
Published: (2025)

RUISA Operational Ecosystem Architecture
by: AL Mohtar, Mouayad
Published: (2026)

Rusty Linux: Advances in Rust for Linux Kernel Development
by: Panter, Shane K., et al.
Published: (2024)

Principled Performance Tunability in Operating System Kernels
by: Chen, Zhongjie, et al.
Published: (2025)

AgentRM: An OS-Inspired Resource Manager for LLM Agent Systems
by: She, Jianshu
Published: (2026)

E-Mapper: Energy-Efficient Resource Allocation for Traditional Operating Systems on Heterogeneous Processors
by: Smejkal, Till, et al.
Published: (2024)

Potential of WebAssembly for Embedded Systems
by: Wallentowitz, Stefan, et al.
Published: (2024)

CARTOS: A Charging-Aware Real-Time Operating System for Intermittent Batteryless Devices
by: Karimi, Mohsen, et al.
Published: (2023)

Adaptive Migration Decision for Multi-Tenant Memory Systems
by: Cho, Hyungjun, et al.
Published: (2025)

Exploiting Application-to-Architecture Dependencies for Designing Scalable OS
by: Xiao, Yao, et al.
Published: (2025)

Leveraging OS-Level Primitives for Robotic Action Management
by: Zheng, Wenxin, et al.
Published: (2025)

QOS: A Quantum Operating System
by: Giortamis, Emmanouil, et al.
Published: (2024)

Wayfinder: Automated Operating System Specialization
by: Jung, Alexander, et al.
Published: (2026)

Combining Type Checking and Formal Verification for Lightweight OS Correctness
by: Ijaz, Ramla, et al.
Published: (2024)

gpu_ext: Extensible OS Policies for GPUs via eBPF
by: Zheng, Yusheng, et al.
Published: (2025)

Security, extensibility, and redundancy in the Metabolic Operating System
by: King, Samuel T.
Published: (2023)

Data-driven Software-based Power Estimation for Embedded Devices
by: Wang, Haoyu, et al.
Published: (2024)

Work-in-Progress: Multi-Deadline DAG Scheduling Model for Autonomous Driving Systems
by: Yano, Atsushi, et al.
Published: (2025)

Wave: Offloading Resource Management to SmartNIC Cores
by: Humphries, Jack Tigar, et al.
Published: (2024)

Inspection of I/O Operations from System Call Traces using Directly-Follows-Graph
by: Sankaran, Aravind, et al.
Published: (2024)

μFork: Supporting POSIX fork Within a Single-Address-Space OS
by: Kressel, John Alistair, et al.
Published: (2025)

Blindfold: Confidential Memory Management by Untrusted Operating System
by: Li, Caihua, et al.
Published: (2024)

Patchlings: Safety-Preserving Flash-Based Hotpatching for Automotive Microcontrollers
by: Liu, Yuxin "Myles", et al.
Published: (2026)

PerOS: Personalized Self-Adapting Operating Systems in the Cloud
by: Hè, Hongyu
Published: (2024)

Analysis of Synchronization Mechanisms in Operating Systems
by: Kode, Oluwatoyin, et al.
Published: (2024)

HyperGraph ROS: An Open-Source Robot Operating System for Hybrid Parallel Computing based on Computational HyperGraph
by: Zhang, Shufang, et al.
Published: (2025)

HALO: A Fine-Grained Resource Sharing Quantum Operating System
by: Ye, John Zhuoyang, et al.
Published: (2026)

ZeroOS: A Universal Modular Library OS for zkVMs
by: Zou, Guangxian, et al.
Published: (2025)