The quantity and complexity of electronic components is continually rising. The number of electronic control units in modern vehicles already exceeds eighty systems and the introduction of advanced technologies has already begun. Several tools are available today to streamline the embedded software development process. Model-based design-techniques are becoming increasingly common. Embedded systems comprise hardware and software. Verification cannot take place until the hardware is available and both components are integrated. Virtual co-verification is described in this paper which enables design communities to perform integration tests before a physical prototype is available. The design tool which provides the capability of failure mode modelling brings additional benefits. Failure mode modelling is an emerging enhancement to model-based systems for the description of electrical mechanical systems. A component based approach enables to create these models easily from existing design data, with the component behaviour described in a library for easy re-use. The components used for modelling not only describe the nominal behaviour but also their failure behaviour. The described methodology can be applied in various use cases. Co-verification allows to start debugging far earlier than otherwise possible. It also helps in dealing with large numbers of variants.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Virtual co-verification of automotive embedded systems


    Weitere Titelangaben:

    Virtuelle Verifizierung von Embedded Systems im Automotive-Bereich


    Beteiligte:
    Vogel, Mike (Autor:in)


    Erscheinungsdatum :

    2005


    Format / Umfang :

    5 Seiten, 3 Bilder




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Virtual verification of automotive steering systems

    Klomp, Matthijs / Ljungberg, M. / Salif, R. et al. | Springer Verlag | 2017




    Virtual Verification of Cause-Effect Chains in Automotive Cyber-Physical Systems

    Oliveira, Ricardo Gonzalez de / Raghupatruni, Indrasen / Hamann, Arne et al. | Springer Verlag | 2021


    Specification and verification of embedded real-time systems in the automotive domain

    Siegl, Sebastian | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2011