Validazione del software di sicurezza

Le aziende nel settore dell’automazione realizzano sempre più frequente le funzioni di sicurezza delle loro macchine utilizzando controlli di sicurezza programmabili. Esistono 2 tipologie di software di sicurezza: SRESW e SRASW. Il software SRESW è parte della fornitura del fabbricante del sistema di controllo e non è accessibile per la modifica al costruttore della macchina. E’ normalmente scritto in linguaggio a variabilità completa, come il C, e viene convalidato dal fabbricante. Il software SRASW è specifico dell’applicazione, implementato dal costruttore della macchina e generalmente contenente sequenze logiche, limiti ed espressioni che controllano gli appropriati ingressi, uscite, calcoli e decisioni necessari per soddisfare i requisiti del sistema di comando di sicurezza. E’ normalmente scritto in linguaggio a variabilità limitata, come il ladder diagram. I software che gestiscono le funzioni di sicurezza devono soddisfare requisiti normativi specifici, i quali garantiscono che tutte le attività del ciclo di vita del software includano misure per l’eliminazione delle avarie introdotte durante tale ciclo. Il metodo IFA-Matrix serve alla specifica, validazione e verifica di programmi applicativi orientati alla sicurezza. A tal fine, è necessario elaborare diverse tabelle per le varie fasi di sviluppo. Lo strumento software SOFTEMA è stato sviluppato per l’applicazione automatizzata delle tabelle secondo il metodo IFA-Matrix. Questo strumento dovrebbe supportare sia i costruttori di macchine nello sviluppo conforme alle norme di software applicativo per la sicurezza, sia le parti esterne nella verifica di tali programmi.