FRIDAY 3 FEBRUARY 2012 

Session 7A | Session 7B | Session 7C | Session 8A | Session 8B | Session 8C

 

09:00-10:00     Room Auditorium St Exupery

10:30-12:30     Room Auditorium St Exupery

> Session7A - Open-Do
Session Chair: Cyrille Comar - AdaCore, France

7A.1 Integrating Formal Program Verification with Testing
Cyrille Comar - AdaCore, France
Johannes Kanig - AdaCore, France
Yannick Moy - AdaCore, France

 

 

7A.2 Compilation of Heterogeneous Models: Motivations and Challenges

Matteo Bordin - AdaCore, France

Tonu Naks - IB Krates, Estonia

Andres Toom - IB Krates, Estonia

Marc Pantel - IRIT-ENSEEIHT, Université de Toulouse, France

 

7A.3 Formalization and Comparison of MCDC and Object Branch Coverage Criteria

Cyrille Comar - Adacore, France

Jérôme Guitton - Adacore, France

Olivier Hainque - Adacore, France

Thomas Quinot - Adacore, France

 

7A.4 Agility & Lean for Avionic Software

 Emmanuel Chenu - Thales Avionics, France

 

 

10:30-12:30     Room Guillaumet

> Session7B - Model Based Process
Session Chair: Marie-Line Valentin - Airbus, France

7B.1 Increasing intersystem functionalities validations efficiency thanks to Model Based Design
Pedro Moreno-Lahore - RENAULT, France, Metropolitan
Yves Touzeau - RENAULT, France, Metropolitan
Olivier Guetta - RENAULT, France, Metropolitan

 

7B.2 Model-Based Engineering approach for system architecture exploration

Julien Delange - European Space Agency, Netherlands

Christophe Honvault - European Space Agency, Netherlands

James Windsor - European Space Agency, Netherlands

 

7B.3 Use of modelling methods and tools in an industrial embedded system project : works and feedback

Anthony Fernandes Pires - Atos Origin, France

Stéphane Duprat - Atos Origin, France

Tristan Faure - Atos Origin, France

Cédrik Besseyre - Airbus, France

Jack Beringuier - Atos Origin, France

Jean-François Rolland - Atos Origin, France

 

7B.4 Formal Model Driven Engineering for Space Onboard Software

David Lesens - EADS Astrium Space Transportation, France

Eric Conquet - ESA, France

Francois-Xavier Dormoy - Esterel Technologies, France

Iulia Dragomir - IRIT, France

Piotr Nienaltowski - Altran-Praxis, United Kingdom

Iulian Ober - IRIT, 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

 

8A.1 Security and Safety Assurance for Aerospace Embedded Systems

Pierre Bieber - Onera, France

Jean-Paul Blanquart - Astrium, France

Gilles Descargues - Thales, France
Michael Dulucq - SERMA Technologies, France
Yannick Fourastier - EADS France, France
Eric Hazane - EADS Cassidian Apsys, France
Mathias Julien - Altran, France
Laurent Léonardon - Rockwell-Collins France, France
Gabrielle Sarouille - Thales, France

 

8A.2 Similarities and dissimilarities between safety levels and security levels

Jean-Paul Blanquart - Astrium Satellites, France

Pierre Bieber - Onera, France

Gilles Descargues - Thales DAE, France

Eric Hazane - EADS APSYS, France

Mathias Julien - Altran, France

Laurent Leonardon - Rockwell Collins France, France

 

8A.3 Secure architecture for information systems in avionics

Maxime Lastera - CNRS ; LAAS, France
Eric Alata - CNRS ; LAAS, France
Jean Arlat - CNRS ; LAAS, France
Yves Deswarte - CNRS ; LAAS, France
Bertrand Leconte - AIRBUS Operations SAS, France

David Powell - CNRS ; LAAS, France

Cristina Simache - ALTRAN SUD OUEST, France

 

 

Top

> Session 8B - Model Based Testing
Session Chair: Fabrice Derepas - CEA, France

Adrian Valea - BTC Embedded Systems AG, Germany
Markus Gros - dSPACE SARL, France 

> Session 8C - Diagnosis & Prognosis
Session Chair: Michael Haneberg - BMW Group, Germany

Karama Kanoun - LAAS-CNRS, France
Mohamed Kaaniche - LAAS-CNRS, France
Christel Seguin - ONERA, France
Chris Papadopoulos - AIRBUS Operations Ltd, United Kingdom