Reference : Virtual Verification of Cause-Effect Chains in Automotive Cyber-Physical Systems
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Electrical & electronics engineering
Security, Reliability and Trust
http://hdl.handle.net/10993/46251
Virtual Verification of Cause-Effect Chains in Automotive Cyber-Physical Systems
English
Gonzalez de Oliveira, Ricardo mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > >]
Raghupatruni, Indrasen [Robert Bosch GmbH]
Hamman, Arne [Robert Bosch GmbH]
Henkel, Achim [Robert Bosch GmbH]
25-Jan-2021
21. Internationales Stuttgarter Symposium
Springer
12
Yes
International
21st Stuttgart International Symposium
30-03-2021 to 31-03-2021
FKFS events
Stuttgart
Germany
[en] Cyber-Physical Systems ; Simulation ; Automotive ; Ethernet ; E/E architecture ; Cause-Effect Chains ; performance ; timing ; HAD
[en] 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) (>= 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. 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.
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/46251

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
21stuttgarterPaper.pdfAuthor preprint1.62 MBView/Open
Open access
21StuttgarterPaper_Presentation.pdfPresentation of the paper in slidesAuthor preprint1.75 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.