Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain

The electrification of today’s vehicles and the high number of new assistance features imply more and more complex systems. New challenges are arising through heterogeneous and distributed systems which interact with each other and have an impact on the physical world, so-called cyber-physical systems. The sensing and controlling of these systems is the work of the highly distributed electronic control units and it is no surprise that more than 100 of these microcontrollers are currently integrated in a modern (electric) car. Technological, organizational and design gaps in today’s development flows are not covered by current methods and tools. Therefore, new approaches are essential to support the development process and to reduce costs and time-to-market, especially when systems are safety-critical and demand reliability. Through applying reliability analysis and simulation-based verification methods on the proposed model-based design flow, we are able to reduce the number of tools involved and achieve correctness, completeness and consistency of the entire system.