By Topic

Verification of Cyberphysical Transportation Systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
AndrĂ© Platzer ; Carnegie Mellon University

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.

Published in:

IEEE Intelligent Systems  (Volume:24 ,  Issue: 4 )