CONFERENCE PROGRAMME

To access to the detailed programme of each session, click on the selected session .

Programme at-a-glance legend for topics:

Architecture

Process, Tools

Quality, Safety

Verification & Validation, Diagnosis

Model Based

Human Factor

Open Do

Tool Sessions

WEDNESDAY 1 FEBRUARY, 2012

09:00 – 09:30	E X H I B I T I O N	*Opening Session* Joseph SIFAKIS – Verimag, France & Congress General & Programme Committee Chair Jean BOTTI – EADS, France & Congress General Chair Louis-Claude VRIGNAUD - Continental Automotive, France
09:30 – 10:30		*Keynote address* Embedded Systems in Automotive Industry- Trends and Challenges Klaus GRIMM – Daimler AG and ARTEMIS Industry Association, Germany
10:30 – 11:00		EXHIBITION VISIT/ REFRESHMENT BREAK
11:00 - 13:00		*Session 1A* Multi-Domain Safety Assurance	*Session 1B* Timing Challenges in Communication Systems	*Session 1C* AUTOSAR Deployment Status	Session 1D Verification & Validation I
13:00 - 14:00		EXHIBITION VISIT/ LUNCH
14:00 – 15:00		Panel Multi-core Session Chair: Joseph SIFAKIS - Verimag, France Panelists: Ralph MADER - Continental Corporation, Germany Frédéric ASPRO-Airbus, France Vincent LEFFTZ -Astrium Satellites, France Benoît DINECHIN - Kalray, France
15:10 - 16:10		*Session 2A* Model Based Safety	Session 2B Case Studies (Systems)	*Session 2C* Human Factor	Session 2D Verification & Validation II
16:10 - 16:40		EXHIBITION VISIT/ REFRESHMENT BREAK
16:40 - 18:40		*Session 3A* IMA Partitioning	*Session 3B* Timing Analysis	*Session 3C* Engineering Frameworks I
18:40 - 19:40		WELCOME RECEPTION

09:00 – 10:00	E X H I B I T I O N	*Keynote address* Towards a greener and more eco efficient aerospace industry Denis CHAPUIS - VP Research and Technology of EADS GROUP, France Warning: this keynote was previously scheduled on Friday 3 February at 09:00 am
10:00 – 10:30		EXHIBITION VISIT/ REFRESHMENT BREAK
10:30 – 12:30		*Session 4A* Engineering Frameworks II	*Session 4B* Hardware/Software co-design	*Session 4C* Partitioning	*Session 4D* Safety Process
12:30 – 13:30		EXHIBITION VISIT/ LUNCH
13:30 – 15:30		*Session 5A* Requirements Engineering Open Source	*Session 5B* SysML in Used in Model Based Engineering	*Session 5C* Fomal Code Analysis
15:30 – 16:00		EXHIBITION VISIT/ REFRESHMENT BREAK
16:00 – 17:00		Session 6A Business Models	Session 6B Case studies	*Session 6C* Reuse and Poduct Lines	*Session 6D* Software Qualimetry
17:00 – 18:00		Session Tool A Model Base Approach	*Session Tool B* System and Safety Engineering	*Session Tool C* Automotive Functional safety ISO26262	*Session Tool D* Operating System & Implementation

09:00 - 10:00	E X H I B I T I O N	Keynote address Taming Dr. Frankenstein: Designing Distributed Systems Alberto SANGIOVANNI-VINCENTELLI – UC Berkeley, USA Warning: this keynote was previously scheduled on Thursday at 09:00
10:00 - 10:30		EXHIBITION VISIT/ REFRESHMENT BREAK
10:30 - 12:30		*Session 7A* "Open DO"	*Session 7B* Model Based Process	*Session 7C* Software Implementation
12:30 - 13:30		EXHIBITION VISIT/ LUNCH
13:30 – 14:30		Panel Smart Energy Management Session Chair: Louis-Claude VRIGNAUD - Continental Automotive, France *Panelists: Jean-Luc MATE -* Continental Automotive, France Etienne FOCH, - Airbus, France Jean-Luc DORMOY - EDF Group, France
14:40 – 16:10		*Session 8A* Safety & Security	*Session 8B* Model Based Testing	*Session 8C* Diagnosis & Prognosis
16:10 - 16:40		Closing session Christel SEGUIN - SEE/ONERA, France & Organizing General Co-Chair Francis GUIMERA - 3AF, France & Organizing General Co-Chair