- Sponsor:
- sigsoft
Welcome to the Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things (TAV-CPS/IoT 2020) held in USA jointly with the ACM Sigsoft International Conference on Software Testing and Analysis ISSTA 2020. The workshop follows the successful editions co-located with ISSTA in 2017, ECOOP/ISSTA in 2018, and ISSTA 2019.
Proceeding Downloads
ObjSim: 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 ...
Formal verification of discrete event model
Ptolemy is a modeling and simulation toolkit widely used in cyber physical systems. Formal verification is a very important method to guarantee the correctness of systems. However, the proposed verification approach in Ptolemy is inconvenient and only ...
Index Terms
- Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things