Skip to main content
Top

2021 | OriginalPaper | Chapter

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

Authors : Ricardo Gonzalez de Oliveira, Indrasen Raghupatruni, Arne Hamann, Achim Henkel

Published in: 21. Internationales Stuttgarter Symposium

Publisher: Springer Fachmedien Wiesbaden

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Zusammenfassung

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) (\(\ge \) 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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Footnotes
1
shared housing concept not shown.
 
2
This work, will make the separation between the computations inside the ECU as Intra-ECU functions, and the ones related to distributed ECUs through the in-vehicle networks as Inter-ECU functions.
 
Literature
1.
go back to reference Ehlers, C.: Mobility of the future – connected, autonomous, shared, electric. In: 30th International AVL Conference “Engine & Environment", S. 175-177, Graz (2018) Ehlers, C.: Mobility of the future – connected, autonomous, shared, electric. In: 30th International AVL Conference “Engine & Environment", S. 175-177, Graz (2018)
2.
go back to reference Kampmann, A., Alrifaee, B., Kohout, M., Wüstenberg, A., Woopen, T., Nolte, M., Eckstein, L., Kowalewski, S.: A Dynamic Service-Oriented Software Architecture for Highly Automated Vehicles. In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC), Auckland (2019) Kampmann, A., Alrifaee, B., Kohout, M., Wüstenberg, A., Woopen, T., Nolte, M., Eckstein, L., Kowalewski, S.: A Dynamic Service-Oriented Software Architecture for Highly Automated Vehicles. In: 2019 IEEE Intelligent Transportation Systems Conference (ITSC), Auckland (2019)
3.
go back to reference Derler, P., Lee, E.A., Törngren, M., Tripakis, S.: Cyber-physical system design contracts. In: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, S. 109–118 (2013) Derler, P., Lee, E.A., Törngren, M., Tripakis, S.: Cyber-physical system design contracts. In: Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, S. 109–118 (2013)
4.
go back to reference Broy, M., Kruger, I.H., Pretschner, A., Salzmann, C.: Engineering Automotive Software. Proceedings of the IEEE 95, 356–373 (Feb 2007) Broy, M., Kruger, I.H., Pretschner, A., Salzmann, C.: Engineering Automotive Software. Proceedings of the IEEE 95, 356–373 (Feb 2007)
6.
go back to reference de Oliveira, R.G., Kerstan, C., Henkel, A.: Keynote: Service-Oriented Architecture. In Automotive Ethernet Congress, Virtual, Chances and Challenges (2021) de Oliveira, R.G., Kerstan, C., Henkel, A.: Keynote: Service-Oriented Architecture. In Automotive Ethernet Congress, Virtual, Chances and Challenges (2021)
7.
go back to reference ISO: Road vehicles—functional safety. International Organization for Standardization, Geneva, Switzerland, ISO 26262. (2018) ISO: Road vehicles—functional safety. International Organization for Standardization, Geneva, Switzerland, ISO 26262. (2018)
8.
go back to reference Münzenberger, R., Schmidt, O.: From Assisted to Autonomous Driving and Beyond. Taking control of system timing challenges in embedded automotive systems, Whitepaper (2019) Münzenberger, R., Schmidt, O.: From Assisted to Autonomous Driving and Beyond. Taking control of system timing challenges in embedded automotive systems, Whitepaper (2019)
9.
go back to reference N. Finn: Introduction to Time-Sensitive Networking. In: IEEE Communications Standards Magazine, June (2018) N. Finn: Introduction to Time-Sensitive Networking. In: IEEE Communications Standards Magazine, June (2018)
10.
go back to reference A. Hamann, D. Dasari, S. Kramer, M. Pressler, and F. Wurst: Communication centric design in complex automotive embedded systems. In: 29th Euromicro Conference on Real-Time Systems (ECRTS). (2017) A. Hamann, D. Dasari, S. Kramer, M. Pressler, and F. Wurst: Communication centric design in complex automotive embedded systems. In: 29th Euromicro Conference on Real-Time Systems (ECRTS). (2017)
11.
go back to reference Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis—The SymTA/S approach. IEE Proceedings-Computers and Digital Techniques 152(2), 148–166 (2005)CrossRef Henia, R., Hamann, A., Jersak, M., Racu, R., Richter, K., Ernst, R.: System level performance analysis—The SymTA/S approach. IEE Proceedings-Computers and Digital Techniques 152(2), 148–166 (2005)CrossRef
12.
go back to reference Ziegenbein, D., Hamann, A.: Timing-aware control software design for automotive systems. In: Proceedings of the 52nd Annual Design Automation Conference (2015) Ziegenbein, D., Hamann, A.: Timing-aware control software design for automotive systems. In: Proceedings of the 52nd Annual Design Automation Conference (2015)
13.
go back to reference Lampke, S., Schliecker, S., Ziegenbein, D., Hamann, A.: Resource-aware control-model-based co-engineering of control algorithms and real-time systems. In: SAE International Journal of Passenger Cars-Electronic and Electrical Systems (2015) Lampke, S., Schliecker, S., Ziegenbein, D., Hamann, A.: Resource-aware control-model-based co-engineering of control algorithms and real-time systems. In: SAE International Journal of Passenger Cars-Electronic and Electrical Systems (2015)
14.
go back to reference Le Boudec, J.-Y., Thiran, P.: Network Calculus. Springer (2001) Le Boudec, J.-Y., Thiran, P.: Network Calculus. Springer (2001)
15.
go back to reference Navet, N., Louvart, S., Villanueva, J., Compoy-Martinez, S., Timing, J.: Verification of automotive communication architectures using quantile estimation, Migge (2013) Navet, N., Louvart, S., Villanueva, J., Compoy-Martinez, S., Timing, J.: Verification of automotive communication architectures using quantile estimation, Migge (2013)
16.
go back to reference Navet, N., Seyler, J.R., Migge, J.: Timing Verification of Realtime automotive Ethernet networks: What can we expect from simulation? In: SAE 2015 World Congress (2015) Navet, N., Seyler, J.R., Migge, J.: Timing Verification of Realtime automotive Ethernet networks: What can we expect from simulation? In: SAE 2015 World Congress (2015)
17.
go back to reference Anssi, S., Albers, K., Dörfel, M., Gérard, S.: chronVAL/chronSIM: A Tool Suite for Timing Verification of Automotive Applications. In: RTS2012, Toulouse (2012) hal-02191852 Anssi, S., Albers, K., Dörfel, M., Gérard, S.: chronVAL/chronSIM: A Tool Suite for Timing Verification of Automotive Applications. In: RTS2012, Toulouse (2012) hal-02191852
19.
go back to reference Broster, I., Burns, A.: The Babbling Idiot in Event-triggered Real-time Systems (2013) Broster, I., Burns, A.: The Babbling Idiot in Event-triggered Real-time Systems (2013)
Metadata
Title
Virtual Verification of Cause-Effect Chains in Automotive Cyber-Physical Systems
Authors
Ricardo Gonzalez de Oliveira
Indrasen Raghupatruni
Arne Hamann
Achim Henkel
Copyright Year
2021
DOI
https://doi.org/10.1007/978-3-658-33521-2_21