Date: Wednesday 16 March 2016
Time: 11:00 - 12:30
Location / Room: Saal 2

Chair:
Marc Geilen, Eindhoven University of Technology, NL

Co-Chair:
Wolfgang Ecker, Infineon Technologies, DE

The growing complexity of automotive software has led to the increasing focus on the use of formal methods for automotive software development and validation. This session will feature three invited talks giving different perspectives on the use of formal methods for automotive software development. This will include techniques for the verification of control software code to timing analysis of automotive software.

Time	Label	Presentation Title Authors
11:00	6.1.1	REQUIREMENTS ENGINEERING FOR SOFTWARE-INTENSIVE AUTOMOTIVE EMBEDDED SYSTEMS Speaker and Author: Manfred Broy, Technische Universität München (TUM), DE
11:30	6.1.2	FORMAL SPECIFICATION AND VERIFICATION OF AUTOMOTIVE SOFTWARE IN PRACTICE Speaker and Author: Ravindra Metta, TCS Innovation Labs, IN
12:00	6.1.3	TIMING ANALYSIS OF AUTOMOTIVE ARCHITECTURES AND SOFTWARE Speaker and Author: Nicolas Navet, University of Luxembourg and RealTime-at-Work, LU
12:30		End of session Lunch Break in Großer Saal + Saal 1 Keynote Lecture in "Saal 2" 14:00 - 14:30