Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment

State-of-the-art automobiles are cyber-physical systems-of-systems. Their reliability becomes more and more relevant regarding safety and emissions and, therefore, has to be verified. This verification must be rigorous but has to be costefficient, and fast for a short time-to-market. This is currently addressed in practice through testing, and testing will stay important in the foreseeable future as well. Still, we see some potential for including formal approaches.