现代化的铁路车辆、车厢及其他运输车辆大都装配了先进的列车控制与管理系统（train control and management systems, TCMS）。TCMS负责像是紧急煞车、紧急关闭引擎等安全攸关任务，也负责暖器、通风等乘客舒适系统。

由於TCMS安全攸关的特性，其软体必须遵守相当严格的要求。首先，软体必须符合像是EN 50128等功能安全标准，其中涵盖了铁路控制与保护系统的软体。严密而且持续不断的测试是成功完成验证程序的关键所在。然而在传统的开发流程中，必须先有硬体才能开始进行测试，使得软体缺陷的修正起来相当昂贵且可能被省略。
...
...