Luana Cucchiara
Rust4Safety - Comparison of Software-Implemented Hardware Fault Tolerance Techniques between C and Rust Programming Languages.
Rel. Massimo Violante, Jacopo Sini, Mohammadreza Amel Solouki. Politecnico di Torino, Corso di laurea magistrale in Mechatronic Engineering (Ingegneria Meccatronica), 2025
|
Preview |
PDF (Tesi_di_laurea)
- Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (2MB) | Preview |
Abstract
In recent years, embedded system have faced a rise of their application in different fields, from industrial to automotive and avionic, increasing also their utilization in safetycritical application. Random Hardware Failures (RHFs) are unavoidable errors, which can lead to various effect such as data corruption that can lead to disruption of the application instructions execution order and in Control Flow Errors (CFEs), potentially resulting in unpredictable and catastrophic consequences. Ensuring the elimination of systematic errors can be achieved by adhering to the guidelines and a well-designed code but these measures does not prevent the application to be prone to RHFs. To mitigate Random Hardware Failures it is possible to apply Software-Implemented Hardware Fault Tolerance, like the Control Flow Checking (CFC).
Control Flow Checking adds extra instruction inside the code, assuring the correct control flow of the application and the correct function
Relatori
Anno Accademico
Tipo di pubblicazione
Numero di pagine
Corso di laurea
Classe di laurea
URI
![]() |
Modifica (riservato agli operatori) |
