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 JulDisplayed time zone: Tijuana, Baja California change
09:00 - 12:30
TAV-CPS/IoT WorkshopTAV-CPS/IoT at Zoom
Public Live Stream/Recording. Registered participants should join via the Zoom link distributed in Slack.
|Keynote by Lionel Briand: Artificial Intelligence for Automated Software Testing in Cyber-Physical Systems|
|Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design|
Luca Berardinelli Johannes Kepler University Linz, Hong-Linh Truong Aalto University
|Efficient Testing of Cyber-Physical Systems|
Jun Sun Singapore Management University, Zijiang Yang Western Michigan University
|Formal Verification of Discrete Event Modeling|