Il presente rapporto contiene una proposta di pubblicazione relativa al progetto Europeo DepAuDE: "Dependability for distributed embedded automation systems in dynamic environments", a cui CESI partecipa. DepAuDE si colloca nell’ambito dell’iniziativa Europea sul tema della dependability. La pubblicazione allegata riguarda la presentazione degli obiettivi e del piano di lavoro del progetto appena avviato ed è stata sottomessa allo Special Track "European Dependability Initiative" (DEPPY) della più importante Conferenza Internazionale in tema di dependability: "Dependable Systems and Networks" (IC-DSN 2001). DepAuDE approccia il problema della dependability dei sistemi mediante un’architettura software stratificata che fornisce capacità di fault tolerance in ambiente distribuito, costituito da piattaforme commerciali eterogenee connesse da un sistema di comunicazione. In particolare l’attività del progetto indirizza le problematiche di comunicazione nei sistemi di automazione distribuiti su reti locali e geografiche sia private che pubbliche, allo scopo di analizzare e migliorare il livello di dependability (affidabilità, disponibilità, sicurezza) delle tecnologie di telecomunicazione. I protocolli e le tecniche di telecomunicazione disponibili ed ampiamente utilizzati saranno analizzati dal punto di vista dell’efficienza, della sicurezza e della capacità di affrontare situazioni di anomalia. Sulla base dei risultati della valutazione verranno in particolare affrontate alcune problematiche ritenute fondamentali per un’effettiva utilizzabilità delle tecnologie di telecomunicazione non-proprietarie al dominio dell’automazione industriale. Soluzioni ai problemi evidenziati verranno dunque progettate e sviluppate a livello prototipale al fine di rendere il sistema di comunicazione utilizzato adeguato ai requisiti di dependability posti da tipologie di funzioni dei sistemi di automazione industriale. Obiettivi fondamentali di DepAuDE sono: – lo sviluppo e l’applicazione di uno schema metodologico par la specifica della dependability basato sui metodi UML (Unified Modelling Language), TRIO (Tempo Reale Implicito) e GSPN (Generalised Stochastic Petri Nets) – l’analisi delle problematiche di dependability delle Tecnologie di Telecomunicazione esistenti – lo sviluppo di tecniche, meccanismi e protocolli prototipali per risolvere alcune delle problematiche della comunicazione evidenziate dall’analisi – l’integrazione delle tecniche di comunicazione sviluppate in DepAuDE con le tecniche di fault tolerance sviluppate nel progetto TIRAN.

Le tematiche e le tecnologie sviluppate e utilizzate nel progetto DepAude costituiscono una fonte importante di informazioni e risultati per gli obiettivi dell’attività di ricerca RECA.