DAUIN - GR-24 - SMILIES - reSilient coMputer archItectures and LIfE Sci
Fault Injection and Selective Hardening of Real Time Operating Systems
keywords FAULT DETECTION AND IDENTIFICATION, FAULT TOLERANCE, REAL-TIME OPERATING SYSTEMS, SAFETY CRITICAL SOFTWARE
Reference persons MAURIZIO REBAUDENGO, ALESSANDRO SAVINO
Research Groups DAUIN - GR-24 - SMILIES - reSilient coMputer archItectures and LIfE Sci, GR-05 - ELECTRONIC CAD & RELIABILITY GROUP - CAD, TESTGROUP - TESTGROUP
Thesis type RESEARCH, SW DEVELOPEMENT
Description Real-Time Operating systems commonly are monolithic systems providing an API to provide the basic system hardware management, such as interrupt controllers, multi-tasking, etc., that must be merged together with the applications code. The main operating system goal is supporting time constraints on application execution so that tasks can be managed depending on the constraints, which is typical of application fields such as automotive, IoT, etc. For this specific reason, the effect on errors can be catastrophic and it is very important to be able to analyze their effect on the whole system. Moreover, the analysis is a fundamental step toward hardening against faults.
The student will develop a fault injector engine on the top of an existing real-time operating system simulator, also empowering the simulator the most advanced HW and SW acceleration techniques. Once the fault injector will be ready, the student will use it to identify the most critical operating system resources in order to selectively hardening them, and verify their efficacy, by exploiting the simulator.
Required skills C/C++ programming, Operating Systems concepts.
Notes Learned Outcomes: real-time operating systems, multi-thread programming, cyber physical system dependability
Deadline 10/06/2023 PROPONI LA TUA CANDIDATURA