Rafaila, M.M.RafailaDecker, C.C.DeckerGrimm, C.C.GrimmEinwich, K.K.EinwichMarkwirth, T.T.MarkwirthPelz, G.G.Pelz2022-03-112022-03-112009https://publica.fraunhofer.de/handle/publica/362065This 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.enSystemC AMS621004conference paper