Efficient Testing of Cyber-Physical Systems
Cyber-physical systems (CPSs) play a critical role in automating public infrastructure and thus attract wide range of attacks. Assessing the effectiveness of defense mechanisms is challenging as realistic sets of attacks to test them against are not always available. In this short paper, we briefly describe smart fuzzing, an automated, machine learning guided technique for systematically producing test suites of CPS network attacks. Our approach uses predictive machine learning models and meta-heuristic search algorithms to guide the fuzzing of actuators so as to drive the CPS into different unsafe physical states. The approach has been proven effective on two real-world CPS testbeds.
Sun 19 Jul Times are displayed in time zone: Tijuana, Baja California change
09:00 - 12:30
|Keynote by Lionel Briand: Artificial Intelligence for Automated Software Testing in Cyber-Physical Systems|
|Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design|
|Efficient Testing of Cyber-Physical Systems|
|Formal Verification of Discrete Event Modeling|