現代化的鐵路車輛、車廂及其他運輸車輛大都裝配了先進的列車控制與管理系統（train control and management systems, TCMS）。TCMS負責像是緊急煞車、緊急關閉引擎等安全攸關任務，也負責暖器、通風等乘客舒適系統。

由於TCMS安全攸關的特性，其軟體必須遵守相當嚴格的要求。首先，軟體必須符合像是EN 50128等功能安全標準，其中涵蓋了鐵路控制與保護系統的軟體。嚴密而且持續不斷的測試是成功完成驗證程序的關鍵所在。然而在傳統的開發流程中，必須先有硬體才能開始進行測試，使得軟體缺陷的修正起來相當昂貴且可能被省略。
...
...