Using a Cyber Digital Twin for Continuous Automotive Security Requirements Verification
Ana Cristina Franco da Silva, Stefan Wagner, Eddie Lazebnik, Eyal Traitel
Abstract
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.
Topics & Concepts
FirmwareAutomotive industryComputer scienceSoftwareSoftware engineeringSoftware security assuranceComputer securityEmbedded systemEngineeringInformation securityOperating systemSecurity serviceAerospace engineeringPhysical Unclonable Functions (PUFs) and Hardware SecuritySafety Systems Engineering in AutonomyInformation and Cyber Security