Design Automation Challenges in Automotive CPS

In principle, best-effort technologies can be used for building each individual automotive cyber-physical system (CPS) from the ground-up, through careful design, testing, and verification. Each such undertaking, however, is technically challenging, error-prone, and expensive. Since many of these systems share common challenges, employ common design patterns, and verification principles, it is expected that generic software tools for automating design, testing, and verification can alleviate these challenges. In this position paper, we reflect on the key barriers we confront in the near term (next 5 years) towards developing such software tools and we present some ideas on overcoming them. We focus on verification, though the points we make apply to design and testing to a large extent.