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.
Virtual co-verification of automotive embedded systems
Virtuelle Verifizierung von Embedded Systems im Automotive-Bereich
2005
5 Seiten, 3 Bilder
Aufsatz (Konferenz)
Englisch
Virtual verification of automotive steering systems
Springer Verlag | 2017
|Virtual Verification of Cause-Effect Chains in Automotive Cyber-Physical Systems
Springer Verlag | 2021
|Specification and verification of embedded real-time systems in the automotive domain
GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2011
|