It is described the difficulties faced in model-based verification of automotive ECUs (Electronic Control Units). Upcoming standards and new tools are applied to approach new solutions. The system heterogeneity is dealt with by abstracting and creating discrete-time representations, thus handling verification tasks of the complete system in its operating environment. A case study reflects the benefits, in terms of performance and flexibility, enabled by the description language, and achieved by a corresponding abstraction. It is shown that abstraction in modeling with SystemC/SystemC-AMS can bring significant results in the verification process of complete heterogeneous systems. This was reflected on an automotive ECU, which faces several strict requirements, and complexity issues. The presented work opens the door for an improved verification environment, which will enable in-depth analysis on complete ECUs, together with their context of operation.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    New methods for system-level verification using SystemC-AMS extensions: Application to an automotive ECU


    Additional title:

    Neue Methoden zur System-Level-Verifikation mittels einer SystemC-AMS-Erweiterung: Anwendung für eine elektronische Steuerungseinheit für Automobile


    Contributors:


    Publication date :

    2009


    Size :

    10 Seiten, 8 Bilder, 1 Tabelle, 19 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Automotive Electric System Level Design Methodologies with SystemC

    Ishihara, Hideaki / Yamamoto, Hirofumi / Uesugi, Hiroshi et al. | SAE Technical Papers | 2012


    Automotive electric system level design methodologies with SystemC

    Ishihara,H. / Sugiyama,N. / Rinnai,M. et al. | Automotive engineering | 2012


    Automotive Electric System Level Design Methodologies with SystemC

    Ishihara, H. / Sugiyama, N. / Rinnai, M. et al. | British Library Conference Proceedings | 2012


    System level modeling of smart power switches using SystemC-AMS for digital protection concept verification

    Kreuter, H.P. / Kosel, V. / Glavanovics, M. et al. | Tema Archive | 2009


    High Level System-on-Chip Design using UML and SystemC

    Correa, Blanca Alicia / Eusse, Juan Fernando / Munera, Danny et al. | IEEE | 2007