Il presente documento fornisce una descrizione della libreria software di funzioni tolleranti ai guasti realizzata nell’ambito della ricerca RECA. Tale libreria costituisce il cuore della soluzione proposta da RECA per rispondere in modo cost-effective alla crescente esigenza di disponibilità, integrità e sicurezza di funzionamento (dependability) dell’automazione delle reti elettriche. L’innovatività della soluzione, basata su un approccio middleware alla tolleranza ai guasti (FT) poggia sulla sua generalità, flessibilità e riusabilità in diversi contesti applicativi: la libreria di meccanismi di base, insieme alle tecniche fornite di guida alla loro composizione, consentono infatti di confezionare le parti di un sistema rispondenti ai requisiti di dependability, non più attraverso una progettazione ad hoc svolta da specialisti, bensì mediante un procedimento di configurazione guidato dagli stessi requisiti e completato da una rapida fase di verifica del risultato ottenuto. In pratica, gli sviluppatori di applicazioni possono selezionare, configurare e integrare nel loro ambiente una varietà di funzioni software fornite dalla libreria per la rilevazione ed il contenimento degli errori. I vantaggi si misureranno in termini di elevato grado di qualità della soluzione (verificata e validata con tecniche di analisi predittiva formale e testata su molteplici casi pilota), semplicità d’impiego, facilitata anche da specifici strumenti di supporto realizzati, e costo contenuto di sviluppo e manutenzione delle applicazioni anche in casi complessi (con una riduzione stimata intorno al 30 % rispetto alle soluzioni tradizionali). Questo documento riassume le parti più significative della documentazione relativa al prototipo di libreria prodotto nell’ambito del progetto Europeo TIRAN ed accompagna il software sviluppato e provato sul caso pilota dell’Automatismo di Controllo Locale di Cabina Primaria (ACL). In particolare vengono sviluppati i seguenti contenuti: • Descrizione delle motivazioni industriali, della domanda del mercato e dell’approccio seguito • Specifica e sistematizzazione dei requisiti di dependability estratti dall’applicazione ACL e da altre applicazioni pilota tratte dal contesto più generale dell’automazione industriale • Specifica e classificazione delle funzioni di libreria individuate • Architettura generale e progetto delle funzioni di libreria • Documentazione degli aspetti caratterizzanti del codice prodotto

Il testo accenna alle metodologie di supporto definite per guidare gli utenti delle nuove soluzioni durante (1) la raccolta e l’analisi dei requisiti di dependability, (2) il confezionamento di una strategia di tolleranza ai guasti adeguata, (3) la sua realizzazione ottenuta tramite configurazione delle funzioni di libreria FT disponibili, (4) la valutazione, rispetto ai requisiti, della soluzione integrata nel sistema finale. Queste metodologie di supporto, che verranno documentate nei successivi rapporti della ricerca RECA, sono la base per la fornitura di nuovi servizi che rispondano alla richiesta di dependability, in forte espansione non solo nell’automazione d’impianto, ma anche in molteplici settori, industriali e "consumer", per i quali le esigenze di dependability sono diventate irrinunciabili soprattutto se conseguibili a costi appropriati. Il documento contiene infine due memorie pubblicate in conferenze internazionali e facenti parte del piano di diffusione dei risultati delle ricerche nel contesto industriale e presso la Comunità tecnico- scientifica.