CONFERENCE PROGRAMME BY TOPIC: ARCHITECTURE
Session 1B | Session 1C | Session 2B | Session 3A | Session 3B |Session 4C |Session 5C |Session 6C |Session 7C |
11:00-13:00 Room Guillaumet Wednesday 1 February 2012
> Session 1B - Timing Challenges in Communication Systems
Session Chair: Michael Niemetz - Regensburg University of Applied Sciences, Germany
1B.1 Identifying Source of Pessimism in the Trajectory Approach with FIFO Scheduling
Sara Medlej - LRI-EDF, France
Steven Martin - LRI, France
Jean-Marie Cottin - EDF, France
1B.2 Fine-grained Simulation in the Design of Automotive Communication Systems
Aurelien Monot - PSA Peugeot Citroen / LORIA, France
Nicolas Navet - INRIA / RTaW, France
Bernard Bavoux - PSA Peugeot-Citroen, France
1B.3 Experimental assessment of timing verification techniques for AFDX
Marc Boyer - ONERA, France
Nicolas Navet - INRIA / RTaW, France
Marc Fumey - Thales Avionics, France
1B.4 Mastering Timing Challenges for the Design of Multi-Mode Applications on Multi-Core Real-Time Embedded Systems
Mircea Negrean - IDA, TU Braunschweig, Germany
Rolf Ernst - IDA, TU Braunschweig, Germany
Simon Schliecker - Symtavision GmbH, Germany
11:00-13:00 Room Ariane 1 Wednesday 1 February 2012
> Session 1C - AUTOSAR deployment status
Session Chair: Kamel Maaziz - Valeo, France
1C.1 DESTAR – AUTOSAR Standard Deployment
Emmanuel Coutenceau - Valeo, France
Olivier Guetta - Renault, France
Aldric Loyer - PSA Peugeot Citroën, France
1C.2 Safety-relevant development by adaption of standardized safety concepts in AUTOSAR 4.0
Michael Niklas - Continental Engineering Services GmbH, Germany
Stefan Voget - Continental Engineering Services GmbH, Germany
Jürgen Mottok - University of Applied Sciences Regensburg, Germany
1C.3 AUTOSAR BSW in real life, A summary of the last years starting and putting projects into production on AR
Matthieu Courrier - Continental Automotive, France
1C.4 AUTOSAR: Achievements, roll-out, perspectivesAlain 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
15:10-16:10 Room Guillaumet Wednesday 1 February 2012
> Session 2B - Case studies (systems)
Session Chair: Jean-Luc Dormoy - EDF, France
2B.1 Avionic-X : A demonstrator for the Next Generation Launcher Avionics
David Monchaux - CNES - Direction des Lanceurs, France
Philippe Gast - ASTRIUM Space Transportation, France
2B.2 Flight Test Engineer Station for A350 aircrafts
Yves Marcet - Airbus France, France, Metropolitan
Guillaume Monsarrat - Airbus France, France, Metropolitan
Olivier Gallot - Airbus France, France, Metropolitan
Jean-Francois Dausse - Airbus France, France, Metropolitan
16:40-18:40 Room Auditorium St Exupery Wednesday 1 February 2012
> Session 3A - IMA Architecture and partitioning I
Session Chair: Eric Armengaud - AVL, Austria
3A.1 An Extensible Partioning Framework for Safety-Critical Systems
Felix Bruns - Ruhr-Universität-Bochum, Germany
Dirk Kuschnerus - KROHNE Messtechnik GmbH, Germany
Anas Showk - Ruhr-Universität-Bochum, Germany
Attila Bilgic - KROHNE Messtechnik GmbH, Germany
3A.2 Modeling ARINC-653 systems in UML
Andreas Korff - Atego Systems GmbH, Germany
3A.3 Specific certification issues about Integrated Modular Architectures
Jean François Sicard - French Ministry of Defense, France
Ghilaine Martinez - French Ministry of Defense, France
Florian Many - DGA Aeronautical techniques, France
3A.4 Reconfigurable IMA platform: from safety assessment to test scenarios on the Scarlett demonstrator
Pierre Bieber - ONERA, 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 Wednesday 1 February 2012
> 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.2 Tool Support for Seamless System Development based on AUTOSAR Timing Extension
Oliver Scheickl - BMW Car IT, Germany
Christoph Ainhauser - BMW Car IT, Germany
Peter Gliwa - Gliwa GmbH, Germany
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
10:30-12:30 Room Ariane 1 Thursday 2 February 2012
> Session 4C- IMA Architecture and partitioning II
Session Chair: Jürgen Mottok - Regensburg University of Applied Sciences, Germany
4C.1 Builing a Generic (cross-domains) Basic Software on top of the XtratuM hypervisor
Jean-Jacques Metge - CNES, France
Julien Galizzi - CNES, France
Paul Arberet - CNES, France
Bernard Sanchez - Continental Engineering Services, France
Jonathan Paty - Continental Engineering Services, France
Gilles Saint-Aubin - Intertechnique / Zodiac Aerospace, France
Mikael Deschamps - Intertechnique / Zodiac Aerospace, France
4C.2 LVCUGEN (TSP-based solution) and first porting feedback
Julien Galizzi - CNES, France
4C.3 IO Virtualisation in a Partitioned System
Miguel Masmano - Universidad Politécnica de Valencia, Spain
Salva Peiró - Universidad Politécnica de Valencia, Spain
Jordi Sánchez - Universidad Politécnica de Valencia, Spain
Jose Simó - Universidad Politécnica de Valencia, Spain
Alfons Crespo - Universidad Politécncia de Valencia, Spain
4C. 4 Applying the AUTOSAR timing protection to build safe and efficient ISO 26262 mixed-criticality systems
Christoph Ficek - Symtavision GmbH, Germany
Nico Feiertag - Symtavision GmbH, Germany
Kai Richter - Symtavision GmbH, Germany
Marek Jersak - Symtavision GmbH, Germany
13:30-15:30 Room Ariane 1 Thursday 2 February 2012
> Session 5C - Formal Code Analysis
Session Chair: Eric Conquet - ESA, Netherlands
5C.1 Transferring Stability Proof Obligations from Model Level to Code Level
Michael Dierkes - Rockwell Collins France, France
Daniel Kästner - AbsInt GmbH, Germany
5C.2 The B method takes up floating-point numbers
Jean-Louis Dufour - Sagem, groupe SAFRAN, France, Metropolitan
Lilian Burdy - Clearsy, France, Metropolitan
Thierry Lecomte - Clearsy, France, Metropolitan
5C.3 Fan-C, a Frama-C plug-in for data flow verification
David Delmas - Airbus Operations SAS, France, Metropolitan
Pascal Cuoq - CEA LIST, France, Metropolitan
Victoria Moya Lamiel - Atos Origin, France, Metropolitan
Stéphane Duprat - Atos Origin, France, Metropolitan
5C.4 Formally verified optimizing compilation in ACG-based flight control software
Ricardo B. França - IRIT, Université de Toulouse, France, Metropolitan
Sandrine Blazy - IRISA, Université de Rennes 1, France, Metropolitan
Denis Favre-Felix - AIRBUS Operations SAS, France, Metropolitan
Xavier Leroy - INRIA Rocquencourt, France, Metropolitan
Marc Pantel - IRIT, Université de Toulouse, France, Metropolitan
Jean Souyris - AIRBUS Operations SAS, France, Metropolitan
16:00 -18:00 Room Ariane 1 Thursday 2 February 2012
> Session 6C- Reuse and Product Lines
Session Chair: Jacques Pulou - France Telecom, France
6C.1 SAVOIR: Reusing specifications to improve the way we deliver avionics
Jean-Loup Terraillon - European Space Agency, Netherlands
Savoir Advisory Group - SAVOIR group represented by the European Space Agency, Netherlands
6C.2 Product-line engineering approach in a model-driven process
Hubert Dubois - CEA-LIST, France
Vincent Ibanez - THALES AVIONICS, France
Joseph Machrouh - THALES R&T, France
Nicolas Meledo - THALES AVIONICS, France
Patricia Mouy - CEA LIST, France
A Silva - Franhofer IESE, Germany
10:30-12:30 Room Ariane 1 Friday 3 February 2012
> Session 7C - Software Implementation
Session Chair: Thierry Seynaeve - ESG, France
7C.1 Deterministic Execution Sequence in Component Based Multi-Contributor Powertrain Control Systems
Denis Claraz - Continental Automotive France S.A.S, Toulouse, France
Stefan Kuntz - Continental Automotive GmbH, Regensburg, Germany
Ulrich Margull - 1 mal 1 Software GmbH, Germany
Michael Niemetz - University of Applied Sciences Regensburg, Germany
Gerhard Wirrer - Continental Automotive GmbH, Regensburg, Germany
7C.2 Beyond Mutexes, Semaphores, and Critical Section
Serge Plagnol - Green Hills Software, France
7C.3 A lightweight, code generated and fast IPC framework for C++ based applications
Martin Kalisch - Continental Villingen, Germany
Peter Reitinger - Continental Villingen, Germany
Stefan Bitzer - Continental Villingen, Germany
Valentin Uritescu - Continental Timisoara, Romania
7C.4 An ASN.1 compiler for embedded/space systems
George Mamais - Semantix, Greece
Thanassis Tsiodras - Semantix, Greece
David Lesens - Astrium Space Transportation, France
Maxime Perrotin - ESTEC, Netherlands