Formal Methods for Connected Vehicle Protocols

A significant growth in connected vehicles industry arises new security issues. Security-by-design framework, including formal methods, has the potential to offer a higher security level in this domain. This paper provides an overview of the formal methods for connected vehicle protocols, including three most important formal verification fields in this domain, namely qualitative and quantitative analysis, functional correctness and security properties. It includes a systematic overview of formal methods categorized by these fields, used tools and considered protocols, including a short summary and open challenges for future work.