9th European Congress

FROM JANUARY 31st TO FEBRUARY 2nd / TOULOUSE, FRANCE

PIERRE BAUDIS CONGRESS CENTER

EMBEDDED REAL TIME
SOFTWARE AND SYSTEMS

Preliminary Programme

Intelligent Systems & Smart Vehicles Formal Methods
Certification, Safety, Security, Fault-tolerance Platforms and Networks
Model Based System Engineering Software Engineering
Multi-core (intensive computing) Virtual Engineering and Simulation
Download Programme
Wednesday 31 January
  Auditorium St Exupery Room Guillaumet Room Ariane 1 Room Ariane 2
09:00 Opening Allocutions      
09:30 Opening Session by Joseph Sifakis,
Verimag - France		      
10:00 Exhibition visit & Refreshment break (Concorde Room, level -1)
10:30 Plenary Session :
Industrial Co chair: Alexandre Corjon, Alliance Renault-Nissan Global Vice President - France &
Keynote Address 1, Pascal Traverse - General Manager for the Autonomy Thrust, Airbus
, France
Keynote Address 2 - Raja Chatila, Director of Institute of Intelligence Systems and Robotics, ISIR - UPMC, France		      
12:30 Lunch (Caravelle Room, level 0)
14:00 We.1.A
Model Based System Engineering 1		 We.1.B
Agility for Certification		 We.1.C
Lightweight Platforms		 We.1.D
Smart Vehicles Simulation
15:00 We.2.A
Model Based System Engineering 2		 We.2.B
Challenges of Certification		 We.2.C
Distributed Real Time Platforms		 We.2.D
Smart Vehicles
16:30 Exhibition visit & Refreshment break (Concorde Room, level -1)
17:00 Panel 1 - Trends and challenges for autonomous vehicles      
18:30 Welcome Reception - Exhibition Hall, Room Concorde Level -1
Thursday 1 February
  Auditorium St Exupery Room Guillaumet Room Ariane 1 Room Ariane 2
09:00 Th.1.A
Model Based System Engineering 3		 Th.1.B
Safety and Security		 Th.1.C
Execution Platforms		 Th.1.D
Intelligent Systems
10:30 Exhibition and Poster visit & Refreshment break (Concorde Room, level -1)
11:00 Keynote Address 3 - Max Lemke,
DG Connect EU		      
11:45 Th.PO
Poster Overview (+Poster exhibition in Foyer Concorde all the day)		      
12:45 Lunch (Caravelle Room, level 0)
14:00 Panel 2 - How Machine Learning could be used (or not) for safety-critical applications?      
15:00 Th.2.A
Software Verification		 Th.2.B
Safety and Dependability Assessment		 Th.2.C
Manycore		 Th.2.D
Virtual Engineering
16:00 Exhibition and Poster visit & Refreshment break (Concorde Room, level -1)
16:30 Th.3.A
Model Based System Engineering 4		 Th.3.B
Formal Requirements		 Th.3.C
Design for Multicore		 Th.3.D
Cyber Physical System Simulation
19:30 Gala Evening (Pierre Baudis Congress Center Room Caravelle, Level 0)