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.
Virtual Verification of Cause-Effect Chains in Automotive Cyber-Physical Systems
Proceedings
2021-05-06
12 pages
Article/Chapter (Book)
Electronic Resource
German
Multicore enablement for automotive cyber physical systems
Tema Archive | 2012
|Virtual verification of automotive steering systems
Springer Verlag | 2017
|Cross-layer design of automotive cyber-physical systems
TIBKAT | 2014
|Virtual co-verification of automotive embedded systems
Tema Archive | 2005
|