WEDNESDAY 1 FEBRUARY 2012
09:00-09:30 Room Auditorium St Exupery
> 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 Room Auditorium St Exupery
> Keynote address
Embedded Systems in Automotive Industry- Trends and Challenges
Klaus GRIMM – Daimler AG and ARTEMIS Industry Association, Germany
10:30-11:00 Room Concorde
> Exhibition visits / Refreshment break
11:00-13:00 Room Auditorium St Exupery
> Session 1A- Multi -Domain Safety Assurance
Session Chair: David Powell - LAAS-CNRS, France
1A.1 Criticality categories across safety standards in different
domains
Jean-Paul Blanquart - Astrium Satellites, France
Jean-Marc Astruc - Continental, France
Philippe Baufreton - Sagem Défense Sécurité, France
Jean-Louis Boulanger - CERTIFER, France
Hervé Delseny - Airbus, France
Jean Gassino - IRSN, France
Gérard Ladier - Aerospace Valley, France
Emmanuel Ledinot - Dassaul Aviation, France
Michel Leeman - Valeo, France
Joseph Machrouh - Thales, France
Philippe Quéré - Renault, France
Bertrand Ricque - Sagem Défense Sécurité, France
1A.2 Cross domain comparison of System Assurance
Joseph Machrouh - Thales, France
Jean-Paul Blanquart - ASTRIUM, France
Philippe Baufreton - Sagem, France
Jean-Louis Boulanger - CERTIFER, France
Hervé Delseny - Airbus, France
Jean Gassino - IRSN, France
Gérard Ladier - Aerospace Valley, France
Emmanuel Ledinot - Dassault Aviation, France
Michel Leeman - Valeo, France
Jean-Marc Astruc - Continental, France
Philippe Quéré - Renault, France
Bertrand Ricque - Sagem, France
11:00-13:00 Room Guillaumet
> Session 1B - Timing Challenges in Communication Systems
Session Chair: Michael Niemetz - Regensburg University of Applied Sciences, Germany
Jean-Marie Cottin - EDF, France
Nicolas Navet - INRIA / RTaW, France
Bernard Bavoux - PSA Peugeot-Citroen, France
Nicolas Navet - INRIA / RTaW, France
Marc Fumey - Thales Avionics, France
Rolf Ernst - IDA, TU Braunschweig, Germany
Simon Schliecker - Symtavision GmbH, Germany
11:00-13:00 Room Ariane 1
> Session 1C - AUTOSAR deployment status
Session Chair: Kamel Maaziz - Valeo, France
1C.1 AUTOSAR: Achievements, roll-out, perspectives
Alain Gilberg - PSA PEUGEOT CITROEN, France
Steffen Lupp - Bosch, Germany
Simon Fuerst - BMW, Germany
Demetrio Aiello - Continental, Germany
Stefan Schmerler - Daimler, Germany
Frank Kirschke Biller - Ford, United States
Robert Rimkus - GM, United States
Kenji Nishikawa - TMC, Japan
Andreas Titze - Volkswagen, Germany
1C.2 DESTAR – AUTOSAR Standard Deployment
Emmanuel Coutenceau - Valeo, France
Olivier Guetta - Renault, France
Aldric Loyer - PSA Peugeot Citroën, France
Stefan Voget - Continental Engineering Services GmbH, Germany
Jürgen Mottok - University of Applied Sciences Regensburg, Germany
11:00-13:00 Room Ariane 2
> Session 1D - Verification & Validation
Session Chair: Paul Arberet - CNES, France
1D.1 First steps toward a Verification and validation ontology
Mounira Kezadri - IRIT, Université de Toulouse, France, Metropolitan
Marc Pantel - IRIT, Université de Toulouse, France, Metropolitan
1D.2 Component-based Design and Verification in X-MAN
Nannan He - Oxford University, United Kingdom
Daniel Kroening - Oxford University, United Kingdom
Thomas Wahl - Oxford University, United Kingdom
Lau Kung-Kiu - Manchester University, United Kingdom
Faris Taweel - Manchester University, United Kingdom
Tran Cuong M - Manchester University, United Kingdom
Ruemmer Philipp - Uppsala University, Sweden
Sharma Sanjiv S. - Airbus Operations Limited, United Kingdom
1D.3 Context Aware Model Exploration with OBP tool to Improve Model-Checking
Philippe Dhaussy - ENSTA Bretagne, France
Jean-Charles Roger - ENSTA Bretagne, France
Luka Leroux - ENSTA Bretagne, France
Fredéric Boniol - ONERA, France
13:00-14:00 Room Caravelle
> Exhibition visit/ Lunch
14:00-15:00 Room Auditorium St Exupery
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 Room Auditorium St Exupery
> Session 2A - Model Based Safety
Session Chair: Jean-Louis Boulanger - Certifer, France
Helmut Martin - Virtual Vehicle Competence Center, Austria
Peter Reichenpfader - Virtual Vehicle Competence Center, Austria
Emil Dumitrescu - INSA de Lyon, France
Eric Niel - INSA de Lyon, France
15:10-16:10 Room Guillaumet
> Session 2B - Case studies (systems)
Session Chair: Jean-Luc Dormoy - EDF, France
Philippe Gast - ASTRIUM Space Transportation, France
Guillaume Monsarrat - Airbus France, France, Metropolitan
Olivier Gallot - Airbus France, France, Metropolitan
Jean-Francois Dausse - Airbus France, France, Metropolitan
15:10-16:10 Room Ariane 1
> Session 2C - Human Factors
Session Chair: Werner Frohling - Flooring Technologies Ltd, Malta
Jan-Patrick Osterloh - OFFIS, Institute for Information Technology, Germany
Florian Frische - OFFIS, Institute for Information Technology, Germany
Philippe Palanque - University Toulouse 3, France
Célia Martinie - University Toulouse 3, France
David Navarre - University Toulouse 3, France
Adrienne Tankeu-Choitat - Airbus, Cameroon
Eric Barboni - University Toulouse 3, France
15:10-16:10 Room Ariane 2
> Session 2D - Verification & Validation II
Session Chair: Philippe Baufreton - Sagem, France
Jerome Hugues - ISAE, France
Pierre Dissaux - Ellidiss, France
Frank Dordowsky - ESG Elektroniksystem- und Logistik GmbH, Germany
Bruno Langenstein - German Research Centre for Artificial Intelligence (DFKI), Germany
Andreas Nonnengart - German Research Centre for Artificial Intelligence (DFKI), Germany
16:10-16:40 Room Concorde
> Exhibition visit/ Refreshment Break
16:40-18:40 Room Auditorium St Exupery
> Session 3A - IMA Partitioning
Session Chair: Eric Armengaud - AVL, Austria
Dirk Kuschnerus - KROHNE Messtechnik GmbH, Germany
Anas Showk - Ruhr-Universität-Bochum, Germany
Attila Bilgic - KROHNE Messtechnik GmbH, Germany
Florian Many - DGA Aeronautical techniques, France
Julien Brunel - ONERA, France
Kushal Gupta - ONERA, France
Eric Noulard - ONERA, France
Claire Pagetti - ONERA, France
Thierry Planche - Airbus, France
François Vialard - Aeroconseil, France
16:40-18:40 Room Guillaumet
> Session 3B - Timing Analysis
Session Chair: Albert Aribaud - Motorola Mobility, France
3B.1 The TIMMO-2-USE project: Time modeling and analysis @ use
M-A Peraldi-Frati - Laboratory /Université de Nice – INRIA Sophia Antipolis, France, France
Daniel Karlsson - Volvo Technology AB, Sweden
A. Hamann - Robert Bosch GmbH, Germany
S. Kuntz - Continental Automotive GmbH,Germany
J. Nordlander - Chalmers University of Technology, Sweden
3B.3 From Model-Based to Real-Time Execution of Safety-Critical Applications: Coupling Scade with OASIS
Simon Bliudze - CEA LIST, France
Mathieu Jan - CEA LIST, France
Xavier Fornari - Esterel Technologies, France
3B.4 ChronVAL/ChronSIM: A Tool Suite for Timing Analysis of Automotive Applications
Saoussen Anssi - Continental Automotive toulouse, France
Karsten Albers - Inchron GmbH, Germany
Matthias Dörfel - Inchron GmbH, Germany
Sébastien Gérard - CEA LIST Paris, France
16:40-18:40 Room Ariane 1
> Session 3C- Engineering Frameworks I
Session Chair: Uwe Kühne - Cassidian, Germany
3C.4 A UML Profile for the Development of IEC 61508 Compliant Embedded Software
Dirk Kuschnerus - Ruhr-Universität Bochum, Germany
Felix Bruns - Ruhr-Universität-Bochum, Germany
Attila Bilgic - KROHNE Messtechnik GmbH, Germany
Thomas Musch - Ruhr-Universität Bochum, Germany
18:40-19:40 Room Concorde 1 & 2
> Welcome Reception