AFFIDABILITA' E SICUREZZA DEI SISTEMI INNOVATIVI DI COMANDO/CONTROLLO. APPROCCI BASATI SU MODELLI E LORO APPLICAZIONI INDUSTRIALI

E’ 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.