On the Analysis of Real-time Operating System Reliability in Embedded Systems

Conference Paper (2020)
Author(s)

Dario Mamone (Politecnico di Torino)

A. Bosio (École Centrale de Lyon)

Alessandro Savino (Politecnico di Torino)

S Hamdioui (TU Delft - Quantum & Computer Engineering)

Maurizio Rebaudengo (Politecnico di Torino)

Department
Quantum & Computer Engineering
Copyright
© 2020 Dario Mamone, Alberto Bosio, Alessandro Savino, S. Hamdioui, Maurizio Rebaudengo
DOI related publication
https://doi.org/10.1109/DFT50435.2020.9250861
More Info
expand_more
Publication Year
2020
Language
English
Copyright
© 2020 Dario Mamone, Alberto Bosio, Alessandro Savino, S. Hamdioui, Maurizio Rebaudengo
Department
Quantum & Computer Engineering
Bibliographical Note
Accepted author manuscript@en
Pages (from-to)
1-6
ISBN (print)
978-1-7281-9458-5
ISBN (electronic)
978-1-7281-9457-8
Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Abstract

Nowadays, the reliability has become one of the main issues for safety-critical embedded systems, like automotive, aerospace and avionic. In an embedded system, the full system stack usually includes, between the hardware layer and the software/application layer, a middle layer composed by the Operating System (OS) and the middleware. Most of the time, in the literature only the application-layer is considered during the reliability analysis. This is due to the fact that middle layer short execution time makes the probability of a fault affecting it much lower compared to the application-level. Nevertheless, middle layer data structures lifespan is equivalent to the application layer ones. Moreover, all the times a hardware fault propagates to the middle-layer as an error, and especially to the OS, its impact can be expected to be potentially catastrophic. The aim of this work is to study the reliability of a Real-Time Operating System (RTOS) affected by Single Event Upset (SEU) faults. The methodology targets the most relevant variables and data structures of FreeRTOS analyzed through a software-based fault injection. Results show the ability to highlight the criticality in the OS fault tolerance, in terms of system integrity, data integrity and the overall inherent resiliency to faults, potentially leading to selective hardening of the OS.

Files

Camera_ready.pdf
(pdf | 0.434 Mb)
License info not available