Il rapporto documenta un’attività di sviluppo prototipale finalizzata alla dimostrazione di tecniche di recupero di anomalie applicabili al software per il controllo in tempo reale dei processi elettrici. A partire dall’ambiente di sviluppo per sistemi di automazione ASFA è stato progettato un componente software distribuito che permette l’introduzione di meccanismi di recupero. Il software per l’esecuzione affidabile di un’applicazione ASFA distribuita sfrutta alcuni elementi del middleware sviluppato dal progetto europeo DepAuDE www.depaude.org. L’integrazione degli elementi dell’architettura DepAuDE ha avuto lo scopo di importare in ASFA strumenti e meccanismi di fault tolerance già collaudati, ed ha consentito di limitare lo sforzo richiesto per l’estensione del Supporto all’esecuzione, grazie alla disponibilità di una BSL (Basic Service Layer) completa per la comunicazione tra processi. Allo scopo di validare e dimostrare il software prodotto, è stata messa a punto un’infrastruttura di prova per funzioni di automazione distribuite ed affidabili utilizzando una piattaforma hardware/software costituita da componenti ed ambienti commerciali. È stato eseguito un test dell’ambiente completo mediante lo sviluppo di un semplice caso di studio relativo al Telecontrollo della rete elettrica di distribuzione. I risultati dell’attività di test sono riportati nelle conclusioni del rapporto, mentre nell’annesso in coda viene riportato l’articolo pubblicato alla Conferenza Internazionale “Dependable Systems and Networks” www.dsn.org. La struttura del rapporto riflette le fasi dell’attività di sviluppo appena introdotte: �¾ Il capitolo 1 introduce le conoscenze di base relative ai componenti dell’Ambiente Distribuito per l’Automazione e il Recupero di anomalie: ADAR �¾ Il capitolo 2 spiega i concetti principali che riguardano la distribuzione di un’applicazione di automazione ASFA �¾ Il capitolo 3 descrive il progetto del componente distribuito Supporto Esecutivo �¾ Il capitolo 4 spiega l’integrazione dell’architettura DepAuDE nel’ambiente ASFA �¾ Il capitolo 5 descrive il dimostratore dell’ambiente software che è stato realizzato �¾ Il capitolo 6 riporta le valutazioni conclusive.