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
SESSION 47
SPECIAL SESSION: Model-Based Specification and Testing of Automotive Hw/Sw Architectures
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.
TRACK: AUTOMOTIVE
TOPIC AREA: VERIFICATION
SESSION 47
SPECIAL SESSION: 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.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 |
|
 DAC is the place where industry leaders meet, get a feel for the pulse of the industry, find new trends, and network with colleagues across the industry. |
 DAC 2014 will be held in San Francisco, California, at the Moscone Center. Get details about travel, hotels, and area attractions in one convenient spot. |
 DAC provides many opportunities for in-depth learning. |