The technical complexity of automotive Cyber-Physical Systems (CPS) traditionally demands high development and validation efforts. Due to the new technologies entering the automotive market, such as Highly Automated Driving (HAD) ( \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\ge $$\end{document} SAE L3) and connected infotainment, the overall system complexity is currently increasing significantly, challenging traditional system development methods and requiring new approaches for validation and verification (V&V). In parallel, new Electric/Electronic (E/E) architecture patterns are emerging in the automotive industry, distributing the functionalities across several multi-core Electrical Control Units (ECU) connected via Ethernet-based in-vehicle networks. This distributed approach leads to complex inter- and intra-ECU timing relations challenging the concept of freedom from interference according to the ISO 26262, and adding another dimension of effects analysis during V&V in the context of ISO PAS 21448 and the upcoming ISO TR 4804. This work enhances a cyber-physical functional simulation tool to include timing effects in distributed cause-effect chains and multi-technology-communication networks (incl. Ethernet and CAN). The resulting simulation allows the system designer to evaluate the impact of timing properties on a given distributed vehicle function, enabling an early validation of the system, avoiding rework during later stages of the development process resulting from wrong design choices.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

    Proceedings


    Beteiligte:
    Bargende, Michael (Herausgeber:in) / Reuss, Hans-Christian (Herausgeber:in) / Wagner, Andreas (Herausgeber:in) / Oliveira, Ricardo Gonzalez de (Autor:in) / Raghupatruni, Indrasen (Autor:in) / Hamann, Arne (Autor:in) / Henkel, Achim (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    06.05.2021


    Format / Umfang :

    12 pages





    Medientyp :

    Aufsatz/Kapitel (Buch)


    Format :

    Elektronische Ressource


    Sprache :

    Deutsch




    Virtual verification of cause-effect chains in automotive cyber-physical systems

    Oliveira, Ricardo Gonzalez / Raghupatruni, Indrasen / Hamann, Arne et al. | TIBKAT | 2021


    Multicore enablement for automotive cyber physical systems

    Herkersdorf, Andreas / Michel, Hans-Ulrich / Rauchfuss, Holm et al. | Tema Archiv | 2012


    Virtual verification of automotive steering systems

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