Analysis and Verification Challenges for Cyber-Physical Transportation Systems
journal contributionposted on 01.01.2000, 00:00 authored by Edmund M Clarke, Bruce Krogh, Andre Platzer, Raj Rajkumar
Substantial technological and engineering advances in various disciplines make it possible more than ever before to provide autonomous control choices for cars, trains, and aircraft. Correct automatic control can improve overall safety tremendously. Yet, ensuring a safe operation of those control assistants under all circumstances requires analysis techniques that are prepared for the rising complexity resulting from combinations of several computerized safety measures. We identify cases where cyber-physical transportation systems pose particularly demanding challenges for future research in formal analysis techniques.