Big Changes Ahead For Connected Vehicles
By Ann Steffora Mutschler
Tapping into multiple services, both inside and outside a car, requires a rethinking of everything from architectures to security.

Carmakers are reworking their electronic architectures so they can tap into a growing number of external services and internal options, similar to the way a data center taps into various services over its internal network.
[...]
“The complexities involved with making sure these communications happen safely and securely will be astounding,” said Jorg Grosse, product manager for functional safety at OneSpin Solutions. “Formal verification will play a crucial role in the verification of the integrated circuits that will power this intelligent communication. The technology will go beyond simply making sure designs operate as intended. It also must ensure that safety and security vulnerabilities and weaknesses are eliminated.”