Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

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

 
: Rafaila, M.; Decker, C.; Grimm, C.; Einwich, K.; Markwirth, T.; Pelz, G.

Informationstechnische Gesellschaft -ITG-; VDE/VDI-Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik -GMM-; Gesellschaft für Informatik -GI-, Bonn:
7. GI/GMM/ITG-Workshop Multi-Nature Systems : Entwicklung von Systemen mit elektronischen und nichtelektronischen Komponenten. 3. Februar 2009, Wissenschaftszentrum Schloss Reisensburg der Universität Ulm
Ulm: Universität Ulm, 2009
ISBN: 978-3-00-027064-2
Workshop Multi-Nature Systems <7, 2009, Günzburg>
Englisch
Konferenzbeitrag
Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()
SystemC AMS

Abstract
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.

: http://publica.fraunhofer.de/dokumente/N-95607.html