No abstract

Model-based verification of automotive electronic control units (ECUs) must ensure compliance with the target requirements in a short time frame. On the other hand, an increasing number of sources of variability (e.g. operating conditions, block parameters) impact system performance. To reduce the overall verification effort, much focus has been put on performance in simulation, and little on how to plan simulation experiments to yield maximum information with minimum number of runs. This paper shows how the classical framework of statistical Design of Experiments can be extended to perform faster and more reliable multivariable sensitivity and worstcase studies. Simulation experiments of a state of the art ECU modelled in SystemC/SystemC-AMS show significant increase in efficiency as compared to traditional approaches. Ó Springer-Verlag 2010 IntroductionAutomotive ECUs must face ever increasing demands. Requirements relate to functionality, computing power, safety, energy consumption. These all translate into more complexity, both as density of integration and heterogeneity. Pre-silicon verification phases must provide more reliable outcome. On the other hand, overall verification time must be reduced, to shorten development cycles.Solutions based on specification languages such as SystemC manage to speed-up steps of the system-level model-based verification. Raising the abstraction level gains performance in simulation, at the expense of a reduced model accuracy. This is one way to address the issue of long verification times. However, not much work focuses on more efficient and faster methods for multivariable sensitivity and worst-case analyses. These take part in the verification to ensure system reliability when multiple sources of variability (factors) are present.Factors vary in specified windows and can be both internal and external to the verified system. For sensitivity analysis, factors must be identified that have high impact on system outputs/performance (response). Worst-case analysis ensures the target requirements are met, under any factor conditions. In addition, configurations are found that ensure optimum performance. A challenge is how to cover the highly dimensional and continuous verification space with fewer simulation runs, to realize reliable sensitivity and worst-case studies.Simulation practitioners without statistical background often rely on trial-and-error methods (best-guesses, random corner-cases). These can easily end-up in a large number of runs without getting closer to the worst-case, thus they are not reliable. Pessimistic guesses lead to overestimations (oversize the specification range; over-restrict admitted factor variations). Most methods assume little or no impact of design factors on the system response, and do not discover interaction effects, i.e. that can be tracked only by concom-

No abstract

Abstract-Simulation-based verification of electronic control units must face demands related to more functionality and less time to verify it. To ensure a reliable system, one must determine how the omnipresent, internal and external variations affect the target response, and find safe bounds for it. The main challenge is to optimally characterize a high number of sources of variation, with a reduced number of simulation runs. The paper conducts more efficient sensitivity and worst-case studies by applying concepts of Design of Experiments: screening to reduce the dimension of the verification space; sequential experiments for sensitivity analysis; gradient-based search for response bounds. The approach is evaluated on simulations of an airbag driver IC and compared with alternative methods.

No abstract