Verification of Cyberphysical Transportation Systems

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