Affidabilità e sicurezza dei sistemi innovativi di comando/controllo. Approcci basati su modelli e loro applicazioni industriali

È un dato di fatto che i moderni sistemi di trasporto su rotaia sono caratterizzati da livelli di complessità molto elevati e continuamente crescenti. Una delle ragioni principali di tale crescita risiede nella tendenza ad automatizzare sempre più delicate funzionalità di comando e supervisione attraverso sistemi di elaborazione distribuiti ed eterogenei. In questo articolo si affronta il tema delle modellistica formale attraverso paradigmi avanzati e tecniche innovative come supporto alla valutazione olistica di sicurezza ed affidabilità dei sistemi ferroviari in diverse fasi del loro ciclo di vita, presentando alcune recenti esperienze e interessanti prospettive di ricerca in tale ambito.