As the premier conference for the design and automation of electronic systems, DAC offers outstanding training, education, exhibits and superb networking opportunities for designers, researchers, tool developers and vendors.
WEDNESDAY June 04, 10:30am - 12:00pm | Room 310
TRACK: AUTOMOTIVE
TOPIC AREA: 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 |
|
