Progetto CIPS FM-biased - Formal methods: Business impact of application to security relevant devices (UE); Responsabile Elena Ragazzi 

Ceris è partner in FM-biased  (Formal Methods: Business Impact of Application to Security relevant Devices), progetto mirante a valutare l’impatto potenziale dei metodi formali di verifica e validazione delle apparecchiature di controllo in diversi settori dove la garanzia di sicurezza è un fattore essenziale (per esempio elettricità, distribuzione di petrolio e gas, ferrovie, avionica, farmaceutica). Il progetto, dopo una rassegna dei metodi formali realizzerà tre casi di studio, per i quali verranno indagate in profondità le potenzialità di applicazione e l’impatto potenziale.