Progetto e sviluppo di una piattaforma software per l'analisi e l'irrobustimento automatico di circuiti elettronici per applicazioni spaziali

L'applicazione sviluppata in questa tesi e una piattaforma software (framework) per la modica automatica di circuiti rappresentati sotto forma di netlist, che fornisce anche una libreria di interfaccia (Application Programming Interface - API) in linguaggio C++ per l'uso delle funzionalità sviluppate da parte di eventuali altre applicazioni. Sulla base di questa API, è stato inoltre sviluppato uno strumento automatico per l'inserimento di strutture di irrobustimento, indipendentemente dalla tecnologia e dall'architettura del dispositivo, e per l'analisi dell'intera netlist gerarchica in maniera automatica. E' stata valutata l'efficacia delle tecniche applicate mediante dei test di irraggiamento sui dispositivi e degli esperimenti di iniezione dei guasti (fault injection). Nel capitolo 4 verranno riportati dettagliatamente i risultati di tali test. I vantaggi di questa applicazione rispetto a quelle gia esistenti per l'irrobustimento di circuiti sono principalmente: la possibilità di applicare i metodi di mitigazione su diverse tipologie di dispositivi, la presenza del framework che consente di effettuare analisi e modi che alle netlist, la possibilità di costruire dei file di scripting per l'esecuzione automatica di numerosi comandi a diverse netlist e in infine, le diverse possibilità di interfacciamento con la piattaforma. E' possibile interfacciarsi con questo framework direttamente a linea di comando, digitando i comandi da eseguire; questa operazione è facilitata dal completamento automatico e dalla possibilità di navigare la struttura della netlist in modo gerarchico.