Case study of high-level verification of an automotive Window lifter ECU

This paper gives an overview of model-based high-level validation of a typical automotive ECU (Electronic Control Unit). SystemC and SystemC-AMS are applied to perform verification tasks of the complete system, in its operating environment. Various abstraction elements and modeling formalisms build a flexible and performing framework for simulation-based verification of heterogeneous systems. This is reflected in results on the casestudy, thus providing perspectives for industrial design flows to integrate these emerging standards and tools.