Reference : Timing Analysis of Automotive Architectures and Software
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Electrical & electronics engineering
Security, Reliability and Trust
Timing Analysis of Automotive Architectures and Software
Navet, Nicolas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
19th Design, Automation and Test in Europe Conference (DATE 2016)
From 14-03-2016 to 18-03-2016
[en] Real-time systems ; Timing analysis ; schedulability analysis ; Automotive embedded systems ; Simulation ; Model-Based Design ; Verification
[en] This talk presents the general landscape of timing analysis as it is being used today in the design of automotive embedded systems, reviews the main timing verification techniques and discusses what we can expect from them and what their limitations are. We will then emphasize the need to question the models and their assumptions, and cross-validate their results. Finally, we will discuss the prerequisites for a safe use of timing-accurate simulation as verification technique and illustrate on case-studies from the automotive domains.
Researchers ; Professionals ; Students

File(s) associated to this reference

Fulltext file(s):

Open access
date_2016_Navet.pdfPublisher postprint2.65 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.