WEDNESDAY June 04, 10:30am - 12:00pm | Room 310
TOPIC AREA: AUTOMOTIVE
KEYWORD: VERIFICATION
EVENT TYPE: SPECIAL SESSION
SESSION 47
Chair:
Christoph Stoermer - ETAS Group, Stuttgart, Germany
Testing, debugging and certification of complex automotive hardware/software architectures post significant design challenges in the automotive domain. Here, model-based approaches that work at multiple levels of abstraction and take a holistic view of hardware/software architectures often provide acceptable solutions. This session will feature two talks that discuss such approaches.
47.1 | Automated Specification and Verification of Functional Safety in Heavy-Vehicles: The VeriSpec Approach | |
Speaker: | Guillermo Rodriguez-Navas - Scania, Södertälje, Sweden |
|
Authors: | Guillermo Rodriguez-Navas - Scania, Södertälje, Sweden Cristina Seceleanu - Mälardalen Univ., Vasteras, Sweden Hans Hansson - Mälardalen Univ., Vasteras, Sweden Mattias Nyberg - Scania, Sodertalje, Sweden Oscar Ljungkrantz - Volvo Truck Corp., Ljungkrantz, Sweden Henrik Lönn - Volvo Truck Corp., Gothenburg, Sweden |
|
47.2 | Advanced Diagnosis: SBST and BIST Integration in Automotive E/E Architectures | |
Speaker: | Juergen Teich - Univ. of Erlangen-Nuremberg, Germany |
|
Authors: | Felix Reimann - Univ. of Erlangen-Nuremberg, Germany Michael Glass - Univ. of Erlangen-Nuremberg, Germany Juergen Teich - Univ. of Erlangen-Nuremberg, Germany Alejandro Cook - Univ. Stuttgart, Germany Laura Rodríguez Gómez - Univ. Stuttgart, Germany Dominik Ull - Univ. Stuttgart, Germany Hans-Joachim Wunderlich - Univ. Stuttgart, Germany Ulrich Abelein - Audi AG, Ingolstadt, Germany Piet Engelke - Infineon Technologies AG, Neubiberg, Germany |