Safety Assurance Logic

SAL. Tecniche di sicurezza proprietarie, progettate e utilizzate per i moduli di protezione dei sistemi ULE (V.) e MMI dell’ASCV (V.), Apparato Centrale Statico ACS (V.). Queste tecniche sono basate prevalentemente sul concetto di “Diversity” (V.) e utilizzano elementi a microprocessore per realizzare funzioni Vitali; la stessa vitalità è affidata al software che utilizzando un unico processore esegue le operazioni critiche in modi e tempi diversi, usando diverse operazioni. Le sezioni di hardware critico vengono inoltre testate con routine di autodiagnosi. I comandi finali di uscita vengono autorizzati solo se vi è corrispondenza tra i diversi risultati, e se l’autodiagnosi non rivela errori.