Timing Analysis of Automotive Architectures and Software

Reference : Timing Analysis of Automotive Architectures and Software


	Document type :	Scientific congresses, symposiums and conference proceedings : Unpublished conference
	Discipline(s) :	Engineering, computing & technology : Electrical & electronics engineering
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/26004

Title :	Timing Analysis of Automotive Architectures and Software
Language :	English
Author, co-author :	Navet, Nicolas [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	16-Mar-2016
Peer reviewed :	No
On invitation :	Yes
Audience :	International
Event name :	19th Design, Automation and Test in Europe Conference (DATE 2016)
Event date :	From 14-03-2016 to 18-03-2016
Event place (city) :	Dresden
Event country :	Germany
Keywords :	[en] Real-time systems ; Timing analysis ; schedulability analysis ; Automotive embedded systems ; Simulation ; Model-Based Design ; Verification
Abstract :	[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.
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/26004

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	date_2016_Navet.pdf		Publisher postprint	2.65 MB	View/Open

All documents in ORBi^lu are protected by a user license.