| KEYWORD |
TESTGROUP - TESTGROUP
Fault Injection e Hardening selettivo di Sistemi Operativi Real Time
Parole chiave FAULT DETECTION AND IDENTIFICATION, FAULT TOLERANCE, SAFETY CRITICAL SOFTWARE, SISTEMI OPERATIVI REAL-TIME
Riferimenti MAURIZIO REBAUDENGO, ALESSANDRO SAVINO
Gruppi di ricerca DAUIN - GR-24 - SMILIES - reSilient coMputer archItectures and LIfE Sci, GR-05 - ELECTRONIC CAD & RELIABILITY GROUP - CAD, TESTGROUP - TESTGROUP
Tipo tesi RICERCA, SVILUPPO SOFTWARE
Descrizione I sistemi operativi real-time sono generalmente piccoli sistemi monolitici che espongono funzionalità di gestione del sistema (come la gestione delle interruzioni, la gestione del multi-tasking, ecc.) nella forma di funzioni da includere nel programma finale. Attraverso il sistema operativo si è in grado di introdurre vincoli temporali che permettano la gestione di requisiti temporali di completamento dei task, tipico di applicazioni come l’automotive, l’IoT, ecc. Proprio per questo motivo, l’effetto di errori sul sistema operativo è quanto mai importante ed uno studio sull’effetto degli stessi fondamentale per dotare il sistema operativo di opportune strategie di resilienza ai guasti. All’interno della tesi, il candidato lavorerà su un simulatore (già disponibile) di sistemi operativi real-time al fine di dotarlo di potenzialità di fault injection, tenendo conto delle più moderne tecniche di accelerazione (HW e SW). Dopo aver dotato il simulatore di tali capacità, sarà possibile individuare le strutture più critiche del sistema operativo che richiedono sistemi di protezione e, espandendo il sistema stesso con tali sistemi di protezione, verificarne l’efficacia utilizzando il simulatore stesso.
Conoscenze richieste Programmazione C/C++, Concetti di Sistemi Operativi.
Note Conoscenze acquisibili: sistemi operativi real-time, programmazione parallela, affidabilità dei sistemi digitali
Scadenza validita proposta 10/06/2023
PROPONI LA TUA CANDIDATURA