Today we present seven new publications at the VALU3S website.
– ROS Based Attack Tool for Verification of Robotic System Security-Submission
– A safety and security-aware industrial robotic system implementation: ROKOS
– MARVer: A Tool for Verification of Robotic System’s Safety
– Criteria for the Analysis of Gaps and Limitations of V&V Methods for Safety and Security-Critical Systems
– DELFASE: A Deep Learning Methodfor Fault Space Exploration
– Multidimensional Framework for CharacterizingVerification and Validation of Automated Systems
– ComFASE: A Tool for Evaluating the Effects ofV2V Communication Faults and Attacks onAutomated Vehicles
Read them all under our section publications.