Integrating Online Safety-related Memory Tests in Multicore Real-Time Systems
Ciro Donnarumma, Alessandro Biondi, Francesco De Rosa, Stefano Di Carlo
Abstract
Almost all functional safety standards that regulate safety-critical domains impose to periodically test hardware platforms at run-time. RAM memories are among the fundamental components of computing platforms and are notably subject to faults. Hence, they are also primary components to be tested. Unfortunately, RAM tests are destructive, require to be atomically executed, and are not cheap from a computational perspective. As such, if not properly managed, they can jeopardize the timing performance of a real-time system, especially when running upon a multicore platform.
This paper proposes a software architecture to integrate online memory tests on multicore real-time systems. Furthermore, by jointly considering a task model and a safety model based on the EN50129 safety standard, it presents an approach to compute the optimal configuration of memory tests that preserves the system schedulability and guarantees a given tolerable functional failure rate (TFFR). Experimental results show that the proposed approach allows achieving a marginal impact on schedulability while preserving a TFFR that is compatible with the highest safety integrity level specified by the EN50129.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Related papers
- Improving Timing-Related Guarantees for Main Memory in Multicore Critical Embedded SystemsAsier Fernández de Lecea, Mohamed Hassan, Enrico Mezzetti, Jaume Abella et al.RTSS 2023 · 6 citations
- Kintsugi: Secure Hotpatching for Code-Shadowing Real-Time Embedded SystemsPhilipp Mackensen, Christian Niesler, Roberto Blanco, Lucas Davi et al.USENIX Security 2025
- Opportunistic Data Flow Integrity for Real-time Cyber-physical Systems Using Worst Case Execution Time ReservationYujie Wang, Ao Li, Jinwen Wang, Sanjoy K. Baruah et al.USENIX Security 2024 · 8 citations
- Data-Driven Structured Thermal Modeling for COTS Multi-core ProcessorsSeyedmehdi Hosseinimotlagh, Daniel Enright, Christian R. Shelton, Hyoseung KimRTSS 2021 · 4 citations
- Multi-mode on Multi-core: Making the best of both worlds with OmniRobert Gifford, Linh Thi Xuan PhanRTSS 2022 · 2 citations
