Using a Cyber Digital Twin for Continuous Automotive Security Requirements Verification

In this article, we introduce our approach, which applies the cyber digital twin (CDT) concept to automotive software for the purpose of security analysis. In our method, automotive firmware is transformed into a CDT, and continuously evaluated for security requirements through automated analysis, verification and vulnerabilities detection.