Buchumschlag

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Thapa, Bipin, Alfonso, Daniele, Bini, Lorenzo, Mapelli, Licio, Schleiser, Kaspar, Fouquet, Romain, Baccelli, Emmanuel
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Operating Systems
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Ariel OS: An Embedded Rust Operating System for Networked Sensors & Multi-Core Microcontrollers
von: Frank, Elena, et al.
Veröffentlicht: (2025)

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

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

U-TOE: Universal TinyML On-board Evaluation Toolkit for Low-Power IoT
von: Huang, Zhaolan, et al.
Veröffentlicht: (2023)

Optimizing over FP/EDF Execution Times: Known Results and Open Problems
von: Bini, Enrico
Veröffentlicht: (2024)

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

SquirrelFS: using the Rust compiler to check file-system crash consistency
von: LeBlanc, Hayley, et al.
Veröffentlicht: (2024)

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

Rusty Linux: Advances in Rust for Linux Kernel Development
von: Panter, Shane K., et al.
Veröffentlicht: (2024)

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

Patchlings: Safety-Preserving Flash-Based Hotpatching for Automotive Microcontrollers
von: Liu, Yuxin "Myles", et al.
Veröffentlicht: (2026)

Registered reports in operations management: Lessons from an experimental trial
von: Aravind Chandrasekaran, et al.
Veröffentlicht: (2024)

Extending surjective maps preserving the norm of symmetric kubo-ando means
von: Chetcuti, Emmanuel, et al.
Veröffentlicht: (2024)

Exploiting Application-to-Architecture Dependencies for Designing Scalable OS
von: Xiao, Yao, et al.
Veröffentlicht: (2025)

Leveraging OS-Level Primitives for Robotic Action Management
von: Zheng, Wenxin, et al.
Veröffentlicht: (2025)

Combining Type Checking and Formal Verification for Lightweight OS Correctness
von: Ijaz, Ramla, et al.
Veröffentlicht: (2024)

gpu_ext: Extensible OS Policies for GPUs via eBPF
von: Zheng, Yusheng, et al.
Veröffentlicht: (2025)

AgentRM: An OS-Inspired Resource Manager for LLM Agent Systems
von: She, Jianshu
Veröffentlicht: (2026)

Data-driven Software-based Power Estimation for Embedded Devices
von: Wang, Haoyu, et al.
Veröffentlicht: (2024)

Completely Bounded Representations Into Von Neumann Algebras And Connes Embedding Problem
von: Fang, Junsheng, et al.
Veröffentlicht: (2026)

ZeroOS: A Universal Modular Library OS for zkVMs
von: Zou, Guangxian, et al.
Veröffentlicht: (2025)

μFork: Supporting POSIX fork Within a Single-Address-Space OS
von: Kressel, John Alistair, et al.
Veröffentlicht: (2025)

From Imperative to Declarative: Towards LLM-friendly OS Interfaces for Boosted Computer-Use Agents
von: Wang, Yuan, et al.
Veröffentlicht: (2025)

Analysis of Security in OS-Level Virtualization
von: Ketha, Krishna Sai, et al.
Veröffentlicht: (2025)

The Unitary Conjugation Groupoid of a Type I C*-Algebra: Topology, Fell Continuity, and the Canonical Diagonal Embedding
von: Chang, Shih-Yu
Veröffentlicht: (2026)

Comparison between two approaches to classify topological insulators using K-theory
von: Lorenzo, Scaglione
Veröffentlicht: (2024)

RUISA Operational Ecosystem Architecture
von: AL Mohtar, Mouayad
Veröffentlicht: (2026)

Composable OS Kernel Architectures for Autonomous Intelligence
von: Singh, Rajpreet, et al.
Veröffentlicht: (2025)

Potential of WebAssembly for Embedded Systems
von: Wallentowitz, Stefan, et al.
Veröffentlicht: (2024)

Embeddings of $L^p$-operator algebras
von: Gardella, Eusebio, et al.
Veröffentlicht: (2026)

Online Learning Control Strategies for Industrial Processes with Application for Loosening and Conditioning
von: Wu, Yue, et al.
Veröffentlicht: (2025)

Herding LLaMaS: Using LLMs as an OS Module
von: Kamath, Aditya K, et al.
Veröffentlicht: (2024)

VeruSAGE: A Study of Agent-Based Verification for Rust Systems
von: Yang, Chenyuan, et al.
Veröffentlicht: (2025)

Crash-Consistent Checkpointing for AI Training on macOS/APFS
von: Jeon, Juha
Veröffentlicht: (2025)

Proto: A Guided Journey through Modern OS Construction
von: Choe, Wonkyo, et al.
Veröffentlicht: (2025)

AgentCgroup: Understanding and Controlling OS Resources of AI Agents
von: Zheng, Yusheng, et al.
Veröffentlicht: (2026)

LithOS: An Operating System for Efficient Machine Learning on GPUs
von: Coppock, Patrick H., et al.
Veröffentlicht: (2025)

Embedding C*-algebras into the Calkin algebra of $\ell^{p}$
von: Boedihardjo, March T.
Veröffentlicht: (2024)

Optimal energy management of water networks under quality conditions
von: Gabriella Colajanni, et al.
Veröffentlicht: (2025)

PhoenixOS: Concurrent OS-level GPU Checkpoint and Restore with Validated Speculation
von: Wei, Xingda, et al.
Veröffentlicht: (2024)