Write a Blog >>
ISSTA 2020
Sat 18 - Wed 22 July 2020
Sun 19 Jul 2020 10:30 - 11:00 at Zoom - TAV-CPS/IoT Workshop

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

Displayed 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.

09:00
60m
Keynote
Keynote by Lionel Briand: Artificial Intelligence for Automated Software Testing in Cyber-Physical Systems
TAV-CPS/IoT

10:00
30m
Talk
Uncertainty Modeling and Evaluation for Dependable IoT Cloud Systems Design
TAV-CPS/IoT
Luca Berardinelli Johannes Kepler University Linz, Hong-Linh Truong Aalto University
10:30
30m
Talk
Efficient Testing of Cyber-Physical Systems
TAV-CPS/IoT
Jun Sun Singapore Management University, Zijiang Yang Western Michigan University
11:00
30m
Talk
Formal Verification of Discrete Event Modeling
TAV-CPS/IoT
Zhihao Lu Capital Normal University, Beijing, China, Rui Wang Capital Normal University, Beijing, China, Yong Guan Capital Normal University, Beijing, China
11:30
60m
Meeting
Panel Discussion
TAV-CPS/IoT