Reference : Verification of automotive networks - what to expect (and not expect) from each technique
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Electrical & electronics engineering
http://hdl.handle.net/10993/17624
Verification of automotive networks - what to expect (and not expect) from each technique
English
Navet, Nicolas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
9-Dec-2013
No
Yes
International
Automotive Bus systems + Ethernet
from 09-12-2013 to 11-12-2013
IQPC
Stuttgart
Germany
[en] automotive networks ; Controller Area Network ; Simulation ; Schedulability analysis
[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.
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/17624

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
IQPC-2013-Navet_web.pdfAuthor postprint1.82 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.