Il presente documento fornisce una descrizione del dimostratore, progettato e realizzato nell’ambito della ricerca di sistema RECA per valutare su di un caso pilota il prototipo di libreria di funzioni tolleranti ai guasti, sia dal punto di vista dell’hardware sia da quello del software. L’applicazione pilota considerata è l’Automatismo di Controllo Locale di Cabina Primaria (ACL). Due fattori rendono particolarmente significativo l’uso di questo dimostratore per sperimentare la validità e l’efficacia delle soluzioni sviluppate nel progetto RECA: 1. il riferimento ad un’applicazione pilota reale d’automazione come l’ACL, di grand’attualità (è in corso il rinnovamento dell’automazione di 2600 cabine primarie dell’ENEL), 2. l’utilizzo di piattaforme disponibili sul mercato, senza richiedere realizzazioni “ad-hoc”. E’ così possibile fornire una dimostrazione realistica dell’aspetto più innovativo che caratterizza la ricerca RECA, ossia la migrazione delle soluzioni per la tolleranza ai guasti d’applicazioni d’automazione dalle realizzazioni tradizionali, basate su hardware e software dedicati, verso soluzioni generali e configurabili, prevalentemente software e basate sull’uso di componenti di mercato. Obiettivo di questa migrazione è la drastica riduzione dei costi di sviluppo e di manutenzione, pur garantendo il mantenimento degli standard qualitativi consolidati nel mondo elettrico. Il dimostratore consiste d’una selezione significativa di funzionalità estratte dal caso reale dell’ACL, d’una piattaforma di calcolo composta da prodotti disponibili sul mercato (PC industriali e Sistema Operativo Real-Time VxWorks) e da una configurazione della libreria generica di funzioni FT opportunamente selezionata per rispondere ai requisiti specifici di dependability e di prestazioni richiesti dall’ACL. Il documento descrive nel dettaglio le varie fasi di progettazione e di sviluppo del dimostratore, dalla selezione ed implementazione delle funzioni dell’ACL, alla predisposizione della piattaforma d’elaborazione, nonché la definizione delle opportune strategie di tolleranza ai guasti richieste per soddisfare i requisiti di dependability specificati per l’ACL.