automotive networks; Controller Area Network; Simulation; Schedulability analysis
Abstract :
[en] The presentation focuses on the verification of wired automotive buses and addresses the following topics: historical perspective of verification techniques, review of the different sets of messages and verification techniques along the development cycle, performance metrics and end-to-end constraints, early stage verification technique: schedulability analysis versus simulation.
Disciplines :
Electrical & electronics engineering
Author, co-author :
Navet, Nicolas ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Verification of automotive networks - what to expect (and not expect) from each technique