Verification of Cyberphysical Transportation Systems

Next-generation transportation systems in air traffic, railway, and car control will leverage advanced computing and sensing capabilities to improve safety and throughput to meet increasing transportation demands. It combine cyber aspects (such as wireless communication and computer control) with physical aspects (such as movement in space and real-time interfacing with the physical environment, including sensing and actuation), thus forming cyberphysical systems (CPSs).'ith the increasing complexity of modern transportation technology, the need for analysis techniques that help find and fix errors in system design is rising quickly. Testing and debugging the control software in transportation systems is becoming more expensive; the resulting cost is already well above 50 percent of the total development cost in most cases. Because correct design is difficult to establish with ad hoc debugging, upcoming standards in the aviation and car industries will encourage and require formal methods. With the emergent cyberphysical transportation field, exciting challenges lie ahead in making the vision of robust and reliable system design a reality.