WEDNESDAY June 04, 10:30am - 12:00pm | Room 310
TOPIC AREA: AUTOMOTIVE
KEYWORD: VERIFICATION
EVENT TYPE: SPECIAL SESSION

SESSION 47
Model-Based Specification and Testing of Automotive Hw/Sw Architectures
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.1Automated 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.2Advanced 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