The coming generations of modern vehicles will increasingly be equipped with autonomous driving functions and rely on massive networking of vehicles and the transport infrastructure. To ensure safe operation of these complex cyber-physical systems, all aspects of cyber security must be designed and verified from the very beginning.
The book Towards Connected and Autonomous Vehicle Highways brings together a comprehensive, multi-layered discussion on the implementation of fully connected and automated vehicle highways. It covers the current progress of work on the development of autonomous vehicle highways, which includes discussion of the technical, social, policy and safety aspects of Connected and Autonomous Vehicles (CAV) issues.
Our experts from the research group "Cyber-Security and Defence" at the DIGITAL Institute contributed the chapter "Formal Modeling: A Step Forward to Cyber Secure Connected Car Systems" to this book.
Lead author Dr. Branka Stojanović provides a comprehensive, security-oriented overview of the communication architecture of connected vehicles and the most important protocols, and discusses the use of security-by-design frameworks in this application area, as well as formal verification tools and their applications in the field of V2X protocols.
The book is available now from booksellers or directly from the publisher.