Timing Analysis of Automotive Architectures and Software
Nicolas Navet · Open Repository and Bibliography (University of Luxembourg) · 2016
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.