Traffic Safety Needs Is Pervasive in All Geographical Markets [Connected and Automated Vehicles]

Verifying the performance and correctness of a smart factory is difficult. This is because it is more complicated to verify the functionality of a distributed system than it is to verify a centralized system. Verifying a distributed heterogeneous system such as a factory is even worse. Now imagine that the distributed heterogeneous system has multiple stakeholders, with different, often competing business models. This is the actual situation for connected autonomous vehicles.