Test and diagnosis strategies for digital devices: methodologies and tools
Luca Amati · 2012
Questo lavoro di tesi propone una tecnica di diagnosis adattativa per sistemi digitali complessi denominata Automatic Fault Detective. Questa metodologia e basata sul modello delle Reti Bayesiane ed e basata su un modello del sistema ad un alto livello di astrazione, per facilitare il compito dell'ingegnere di test. In questa tesi, sono esplorate diverse linee di ricerva per l'applicazione della metodologia, con l'obiettivo di ottimizzare il costo del processo di diagnosi: la ricerca di un test set minimo iniziale per l'identificazione di un guasto, la selezione adattativa passo-passo dei test da eseguire su ogni istanza di un sistema, un analisi di robustezza delle conclusioni della diagnosi. I metodi proposti sono stati verificati in simulazione sistemi ideali (per provare la correttezza dei risultati) e implementati in alcuni sistemi industriali di esempio.