Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment
Hermann Kaindl, Franz Lukasch, Matthias Heigl, Sevan Kavaldjian, Christoph Luckeneder, Sebastian Rausch · 2018
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 cost-efficient, 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.