Using a Cyber Digital Twin for Continuous Automotive Security Requirements Verification
Ana Cristina Franco da Silva, Stefan Wagner, Eddie Lazebnik, Eyal Traitel · IEEE Software · 2022
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.