Verification of automotive networks - what to expect (and not expect) from each technique
Nicolas Navet · Open Repository and Bibliography (University of Luxembourg) · 2013
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.