I-Corps: Translation Potential of a Train Protection System

The broader impact of this I-Corps project is the development of technology that makes increases the economic and ecological benefits of artificial-intelligence-based train control systems without incurring safety risks associated with testing-based quality assurance. The benefits of the technology include improved infrastructure utilization, leading to increased throughput in the existing rail network. Additionally, lower energy consumption has ecological benefits, while increased efficiency makes transportation cheaper. The underlying technology of safe learning inside a verified control envelope can be generalized to other systems like cars and robots. This I-Corps project utilizes experiential learning coupled with a first-hand investigation of the industry ecosystem to assess the translation potential of the technology. This solution is based on the development of a verified train protection system. Train protection systems safeguard railroad operations by keeping motion within a safe envelope. These systems decide when to slow trains down to avoid collisions with other trains, stay inside movement authorities, and navigate slopes, curves, and tunnels safely. The technology is a train protection system that is formally verified, meaning that it is mathematically proven to be safe, with computer-checked proofs, ensuring high levels of safety and reliability. The current approach to ensuring train software reliability is to run extensive tests and simulations. However, these methods can check only a finite number of scenarios out of the infinite possibilities, forcing conservative engineering decisions. In contrast, these proofs give a stronger guarantee of correctness by checking safety in many more possible cases. The resulting verified train protection system technology provides a safe path to deploy new technologies. This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.