Un algoritmo per la sicurezza dell’esercizio ferroviario