Copertina

Experimental Analysis of FreeRTOS Dependability through Targeted Fault Injection Campaigns

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Mannella, Luca, Di Carlo, Stefano, Savino, Alessandro
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Operating Systems
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

RTOS Architectures that Solve the Diminishing Bandwidth Problem
di: Arakji, Mazen
Pubblicazione: (2025)

Exploiting Dependency and Parallelism: Real-Time Scheduling and Analysis for GPU Tasks
di: Zhang, Yuanhai, et al.
Pubblicazione: (2026)

Analyzing Configuration Dependencies of File Systems
di: Mahmud, Tabassum, et al.
Pubblicazione: (2025)

Lazarus Group Targets Crypto-Wallets and Financial Data while employing new Tradecrafts
di: Di Santo, Alessio
Pubblicazione: (2025)

Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)
di: Ackermann, Eric, et al.
Pubblicazione: (2026)

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

Fight Hardware with Hardware: System-wide Detection and Mitigation of Side-Channel Attacks using Performance Counters
di: Carnà, Stefano, et al.
Pubblicazione: (2024)

Exploiting Page Faults for Covert Communication
di: Swaminathan, Sathvik
Pubblicazione: (2025)

SVFF: An Automated Framework for SR-IOV Virtual Function Management in FPGA Accelerated Virtualized Environments
di: Cirici, Stefano, et al.
Pubblicazione: (2024)

DAXFS: A Lock-Free Shared Filesystem for CXL Disaggregated Memory
di: Wang, Cong, et al.
Pubblicazione: (2026)

LEFT-RS: A Lock-Free Fault-Tolerant Resource Sharing Protocol for Multicore Real-Time Systems
di: Chen, Nan, et al.
Pubblicazione: (2025)

Oneiros: KV Cache Optimization through Parameter Remapping for Multi-tenant LLM Serving
di: Li, Ruihao, et al.
Pubblicazione: (2025)

Characterizing Metastable Faults and Failures
di: Farahbakhsh, Ali, et al.
Pubblicazione: (2026)

Under the Hood of BlotchyQuasar: DLL-Based RAT Campaigns Against Latin America
di: Di Santo, Alessio
Pubblicazione: (2025)

Dissecting CXL Memory Performance at Scale: Analysis, Modeling, and Optimization
di: Liu, Jinshu, et al.
Pubblicazione: (2024)

RUISA Operational Ecosystem Architecture
di: AL Mohtar, Mouayad
Pubblicazione: (2026)

Can social media shape the security of next-generation connected vehicles?
di: Scarano, Nicola, et al.
Pubblicazione: (2024)

From Tracepoints to Timeliness: A Semi-Markov Framework for Predictive Runtime Analysis
di: Bielmeier, Benno, et al.
Pubblicazione: (2025)

A Task Equalization Allocation Algorithm Incorporating Blocking Estimation and Resource Similarity Analysis for Vehicle Control Real-Time Systems
di: Duan, Qianlong, et al.
Pubblicazione: (2025)

Laccolith: Hypervisor-Based Adversary Emulation with Anti-Detection
di: Orbinato, Vittorio, et al.
Pubblicazione: (2023)

Data-Driven Power Modeling and Monitoring via Hardware Performance Counters Tracking
di: Mazzola, Sergio, et al.
Pubblicazione: (2024)

Plug. Play. Persist. Inside a Ready-to-Go Havoc C2 Infrastructure
di: Di Santo, Alessio
Pubblicazione: (2025)

Columbo: Low Level End-to-End System Traces through Modular Full-System Simulation
di: Görgen, Jakob, et al.
Pubblicazione: (2024)

Taiji: A DPU Memory Elasticity Solution for In-production Cloud Environments
di: Zheng, Hao, et al.
Pubblicazione: (2025)

Decoupling Vector Data and Index Storage for Space Efficiency
di: Ren, Yuanming, et al.
Pubblicazione: (2026)

Non-commutative skew-product extension dynamical systems
di: Crismale, Vitonofrio, et al.
Pubblicazione: (2024)

Timing Analysis and Priority-driven Enhancements of ROS 2 Multi-threaded Executors
di: Sobhani, Hoora, et al.
Pubblicazione: (2024)

Proto: A Guided Journey through Modern OS Construction
di: Choe, Wonkyo, et al.
Pubblicazione: (2025)

Scheduling Analysis of UAV Flight Control Workloads using Raspberry Pi 5 Using PREEMPT_RT Linux
di: Giacomossi, Luiz, et al.
Pubblicazione: (2026)

Dynamic Voltage and Frequency Scaling for Intermittent Computing
di: Maioli, Andrea, et al.
Pubblicazione: (2024)

Analysis of Security in OS-Level Virtualization
di: Ketha, Krishna Sai, et al.
Pubblicazione: (2025)

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

ParaCell: Paravirtualized Secure Containers with Lightweight Intra-Container Isolation and Intent-Driven Memory Management
di: Wu, Yiyang, et al.
Pubblicazione: (2026)

SSV: Sparse Speculative Verification for Efficient LLM Inference
di: Wang, Zhibin, et al.
Pubblicazione: (2026)

Tutti: Making SSD-Backed KV Cache Practical for Long-Context LLM Serving
di: Qiu, Shi, et al.
Pubblicazione: (2026)

Don't Let AI Agents YOLO Your Files: Shifting Information and Control to Filesystems for Agent Safety and Autonomy
di: Zhong, Shawn Wanxiang, et al.
Pubblicazione: (2026)

Idleness is Relative: Exploiting Tool-Call Idle Windows for Offloading in Agentic Systems with MORI
di: Xia, Tian, et al.
Pubblicazione: (2026)

TierBPF: Page Migration Admission Control for Tiered Memory via eBPF
di: Wang, Xi, et al.
Pubblicazione: (2026)

HACache: Leveraging Read Performance with Cache in a Heterogeneous Array
di: Liu, Jialin, et al.
Pubblicazione: (2026)

Hybrid Adaptive Tuning for Tiered Memory Systems
di: Wang, Xi, et al.
Pubblicazione: (2026)