Timing Analysis of Automotive Architectures and Software
English
Navet, Nicolas[University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
16-Mar-2016
No
Yes
International
19th Design, Automation and Test in Europe Conference (DATE 2016)
From 14-03-2016 to 18-03-2016
Dresden
Germany
[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.