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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Virtual co-verification of automotive embedded systems


    Additional title:

    Virtuelle Verifizierung von Embedded Systems im Automotive-Bereich


    Contributors:
    Vogel, Mike (author)


    Publication date :

    2005


    Size :

    5 Seiten, 3 Bilder




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Virtual verification of automotive steering systems

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


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

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




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

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