Un modello di affidabilità e disponibilità per un sistema di trasporto di massa su rotaie