ObjSim: Efficient testing of cyber-physical systems

  • Jun Sun
  • , Zijiang Yang

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Scopus citations

Abstract

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 ma- chine 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.

Original languageEnglish
Title of host publicationTAV-CPS/IoT 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things, co-located with ISSTA 2020
EditorsYan Cai, Tingting Yu
PublisherAssociation for Computing Machinery
Pages1-2
Number of pages2
ISBN (Electronic)9781450380324
DOIs
StatePublished - 19 Jul 2020
Event4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things, TAV-CPS/IoT 2020, co-located with the ACM Sigsoft International Conference on Software Testing and Analysis, ISSTA 2020 - Virtual, Online, United States
Duration: 19 Jul 2020 → …

Publication series

NameTAV-CPS/IoT 2020 - Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things, co-located with ISSTA 2020

Conference

Conference4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things, TAV-CPS/IoT 2020, co-located with the ACM Sigsoft International Conference on Software Testing and Analysis, ISSTA 2020
Country/TerritoryUnited States
CityVirtual, Online
Period19/07/20 → …

Keywords

  • cyber-physical system
  • fuzzing
  • machine learning
  • network
  • testing

Fingerprint

Dive into the research topics of 'ObjSim: Efficient testing of cyber-physical systems'. Together they form a unique fingerprint.

Cite this