ERTMS/ETCS Sinyalizasyon Sistemi, European Vital Computer (EVC) ve Driver Machine Interface (DMI) Sistemleri Emniyet-Kritik Yazılım Geliştirme Süreçleri