Sviluppo di componenti software per la progettazione in sicurezza dei sistemi ferroviari