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.