ERTSS 2012 | 6th International Congress & Exhibition
LAST NEWS
Tarif  spécial inscriptions pour les étudiants en licence, master ou élèves ingénieurs.
Voir page registration
 
IMPORTANT DATES
Abstract submission closed
Acceptance notification closed:
Sept. 30th, 2011
Final paper submission & Author registration 
Dec. 10th, 2011
Congress:
Feb. 1st - 3rd, 2012
 
Registration for exhibitions
Information and registration:
March-Dec. 2011
Select your contacts for meetings:
Jan.16th to 27th, 2012
Exhibition and BtoB meeting:
Feb. 1st - 3rd, 2012
 
DOWNLOAD
 
Newsletter N°3 December 2011
Newsletter N°4 January 2011
Exhibition reservation form
Sponsorship Opportunities

 

 

VENUE
Centre de Congrès Pierre Baudis
11, esplanade Compans Caffarelli 31000 Toulouse - France Web site

CONTACTS

Registration
Valérie ALIDOR
Tel +33 (0)1 56 90 37 02
 
Exhibition and business meetings
Xavier SICARD
Tel: +33(0)1 41 86 41 10
Philippe ANGEL
Tél: +33(0)1 41 86 41 24

 

THURSDAY 2 FEBRUARY 2012 

Session 4A | Session 4B | Session 4C | Session 4D | Session 5A | Session 5B | Session 5C | Session 6A | Session 6B | Session 6C |
Session 6D | Tool A | Tool B | Tool C | Tool D
 
09:00 - 10:00     Room Auditorium St Exupery
 
> 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     Room Caravelle

 > Exhibition visit / Lunch

10:30-12:30     Room Auditorium St Exupery

> Session 4A - Engineering Frameworks II
Session Chair: Patrick Cormery - Astrium Sapce Transportation, France

4A.1 SCADE System, a comprehensive toolset for smooth transition from Model-Based System Engineering to certified embedded control and display software
Thierry Le Sergent - Esterel Technologies, France
Alain Le Guennec - Esterel Technologies, France
François Terrier - CEA, France
Sébastien Gérard - CEA, France
Yann Tanguy - CEA, France
Kara Gremillion - Esterel Technologies, United States
 
4A.2TOPCASED Results and Benefits
Pierre Gaufillet - Airbus Operations SAS, France
Patrick Farail - Airbus Operations SAS, France
 
4A.3 THE ASSERT SET OF TOOLS FOR ENGINEERING (TASTE):  DEMONSTRATOR, HW/SW CODESIGN AND FUTURE EVOLUTION
Marc Pollina - M3Systems, France
Yann Leclerc - M3systems, France
Eric Conquet - ESA - ESTEC, France
Maxime Perrotin - ESA - ESTEC, France
Guy Bois - Space Codesign Systems, Canada
Laurent Moss - Space Codesign Systems, Canada
 
Warning: the paper 4A.4 will be presented after session 8C (15:40 - 16:10 -Friday 3 February)
 
4A.4 The CESAR RTP as Product Line: The Configuration of an Integrated Tool Chain
Peter Graubmann - Siemens AG, Germany
Michael C. Jaeger - Siemens AG, Germany
Reiner Schmid - Siemens AG, Germany
 
10:30-12:30     Room Guillaumet

> Session 4B - Hardware/Software Co-Design
Session Chair: Guy Estaves - Thales Alenia Space, France

4B.1 COMPONENT-BASED TECHNOLOGIES FOR HW/SW CO-DESIGN
Ana Rodriguez - GMV, Spain
Francisco Ferrero - GMV, Spain
 
4B.2 Improving architecture efficiency of SoftCore processors
Bertrand Le Gal - IMS Laboratory - UMR CNRS 5218, France
Christophe Jego - IMS Laboratory - UMR CNRS 5218, France
 
4B.3 A Simulator based on QEMU and SystemC for Robustness Testing of a Networked Linux-based Fire Detection and Alarm System
Massimiliano D'Angelo - ALES S.r.l., Italy
Alberto Ferrari - ALES S.r.l, Italy
Ommund Ogaard - Autronica Fire and Security, Norway
Claudio Pinello - United Technologies Research Center, United States
Alessandro Ulisse - ALES S.r.l, Italy
 
4B.4 SoCKET: A HW/SW Co-Design Flow: Presentation & feedbacks from aeronautic and space application domains
Vincent Lefftz - Astrium SAS, France
Pierre Moreau - Airbus Operations SAS, France
 
10:30-12:30     Room Ariane 1

> Session 4C- Partitioning
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 
 
10:30-12:30     Room Ariane 2

> Session 4D - Safety process
Session Chair: Emmanuel Ledinot - Dassault Aviation, France
 
4D.1 Safety Standards and WCET Analysis Tools
Daniel Kästner - AbsInt GmbH, Germany
Christian Ferdinand - AbsInt GmbH, Germany
 
4D.2 Interoperability between Risk Assessment and System Design for Railway Safety Critical Signalling System Development
Marielle Doche-Petit - Systerel, France
Frédéric Thomas - Obeo, France
Fabien Belmonte - Alstom Transport, France
 
4D.3 Human-robot interactions: model-based risk analysis and safety case construction
Quynh Anh Do Hoang - LAAS-CNRS, France
Jérémie Guiochet - LAAS-CNRS, France
David Powell - LAAS-CNRS, France
Mohamed Kaaniche - LAAS-CNRS, France
4D.4 Elicitation of Executable Safety Rules for Critical Autonomous Systems
Amina Mekki Mokhtar - LAAS-CNRS, France
Jérémie Guiochet - LAAS-CNRS, France
David Powell - LAAS-CNRS, France
Jean-Paul Blanquart - EADS ASTRIUM, France
Matthieu Roy - LAAS - CNRS, France

12:30-13:30     Room Caravelle
 
> Exhibition visit/Lunch
 
13:30-15:30     Room Auditorium Saint Exupery

> Session 5A - Requirements Engineering
Session Chair:
Siegfried Bocionek - Siemens Rail Automation, Germany
 
John Favaro - INTECS, Italy
Rudolf Schreiner - ObjectSecurity Ltd., United Kingdom
Ulrich Lang - ObjectSecurity Ltd., United Kingdom
H-P De Koning - European Space Agency, Netherlands
Sylvain Jouanneau - ALTEN SO, France

5A.3 Integrated tool chain for improving traceability during the development of automotive systems
Eric Armengaud - AVL, Austria
Matthias Biehl - KTH, Sweden
Quentin Bourrouilh - AVL List GmbH, Austria
Michael Breunig - Infineon, Austria
Stefan Farfeleder - TU Vienna, Austria
Alfred Wallner - AVL, Austria
Markus Zoier - VIF, Austria
Markus Oertel - OFFIS, Germany
Christian Hein - Fraunhofer Fokus, Germany
Machnik Wojciech - DELPHI, Poland
Pezet Raphaël - DELPHI, France, Metropolitan
Dubois Hubert - CEA LIST, France, Metropolitan
Maaziz Kamel - DELPHI, France, Metropolitan
Terrier François - CEA LIST, France, Metropolitan
 
13:30-15:30     Room Guillaumet

> Session 5B - SysML in Use
Session Chair: Bruce Lewis - US Army, USA
Leonardo Mangeruca - ALES S.r.l., Italy
Orlando Ferrante - ALES S.r.l. & University of Rome La Sapienza, Italy
Alessandro Mignogna - ALES S.r.l. & Scuola Superiore Sant’Anna, Italy
 
Andrey Sadovykh - Softeam, France
Leandro Soares Indrusiak - University of York, United Kingdom
 
Jerome Hugues - ISAE, France
 
 
5B.4 SysML for embedded automotive Systems : lessons learned
Jean-Denis Piques - VALEO - Engine and Electrical Systems, France
Eric Andrianarison - VALEO - Group Electronic Expertise and Development Services, France
 
13:30-15:30     Room Ariane 1

> 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
 
15:30 -16:00     Room Concorde 1 & 2

> Exhibition visit/ Refreshment break

16:00 -17:00     Room Auditorium Saint Exupery

> Session 6A - Open Source Business Models
Session Chair: Gérard Ladier, Aerospace Valley, France


6A.1 Collaboration in Automotive: The Eclipse Automotive Industry Working Group
Graf Andreas - itemis Gmbh, Germany
Ralph Mueller - Eclipse Foundation, Germany
Stefan Voget - Continental, Germany
Ignacio Garro - Continental, Germany
Harald Mackamul - Robert Bosch GmbH, Germany
Joerg Noack - BMW AG, Germany
Paul Arberet - CNES, France
Alain Rossignol - EADS Astrium, France
Christian Labezin - Xipp, France
Romain Berrendonner - Adacore, France
Pierre Gaufillet - Airbus, France
Raphaël Faudou - Atos Origin, France
Benoît Langlois - Thales, France
Luc Maisonobe - CS, France
Pierre Moro - EADS Space Transportation, France
Jorge Rodriguez - Indra, Spain
José Manuel Puerta - TCP SI, Spain
Eric Bonnafous - CS, France
Ralph Mueller - Eclipse Foundation, Germany
Björn Lundell - University of Skövde, Sweden 
 
16:00 -17:00     Room Guillaumet

> Session 6B - Case studies in model based engineering
Session Chair: Jean-Paul Blanquart - Astrium Satellites, France

6B.1 Modeling and Validation of a Data Process Unit Control for Space Applications
Hai Wan - Key Lab of ISS of MOE, TNList, School of Software, Tsinghua, China
Congdi Huang - Key Lab of ISS of MOE, TNList, School of Software, Tsinghua, China
Yuhui Wang - Key Lab of ISS of MOE, TNList, School of Software, Tsinghua, China
Fei He - Key Lab of ISS of MOE, TNList, School of Software, Tsinghua, China
Ming Gu - Key Lab of ISS of MOE, TNList, School of Software, Tsinghua, China
Marius Bozga - Verimag/CNRS, France
Gérard Cristau - THALES R&T, France
Odile Laurent - AIRBUS FRANCE, France
Fabien Paganelli - SAGEM, France
Nikolaos Priggouris - HAI, Greece
Stéphane Bonnet - CNRS, France
Ivo Viglietti - ALENIA SIA, Italy
 
 
16:00 -17:00     Room Ariane 1

> 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
Vincent Ibanez - THALES AVIONICS, France
Hubert Dubois - CEA-LIST, France
Joseph Machrouh - THALES R&T, France
Nicolas Meledo - THALES AVIONICS, France
Patricia Mouy - CEA LIST, France
A Silva - Franhofer IESE, Germany
 
 
16:00-17:00    Room Ariane 2

> Session 6D - Software Qualimetry
Session Chair: Olivier Guetta - Renault, France
 
Christophe Peron - Squoring Technologies, France
Hartmut Pohlheim - Model Engineering Solutions GmbH, Germany
 
 
17:00-18:00     Room Auditorium St Exupery
 
> Session Tool A - Model Based Approach
Session Chair: Marc Boyer  - Onera, France
 
 Tool A.1 Modernizing System Development: Requirements-Based, Model-Driven Design, Implementation, and Test
Michelle Lange - Mentor Graphics, United States
Bill Chown - Mentor Graphics, United States
 
Nicolas Croué - Keonys, France
Bruno Vuillemin - ALTRAN, France
 
Tool A.3 Requirements and Test Case Tracing
Dr. Joachim Wegener - Berner & Mattner Sytemtechnik GmbH, Germany
Ute Herold - Berner & Mattner Sytemtechnik GmbH, Germany
 
Tool A.4 A new UML tool-based Methodology fo the Software Requirements Analysis
Thomas Weyrath - Elektroniksystem- und Logistik-GmbH (ESG), Germany
Franz Schöttl - Elektroniksystem- und Logistik-GmbH (ESG), Germany
Herbert Schreyer - Eurocopter Deutschland, Germany
Berthold Schinnerl - German armed forces, Germany
 
17:00-18:00     Room Guillaumet

> Session Tool B - System & Safety Engineering
Session Chair: Andreas Lüdtke - OFFIS, Germany
 
 
Morayo Adedjouma - Delphi, France
Emilia Suomalainen - Knowledge Inside, France
Mohamed Bouali - Knowledge Inside, France
 
Frédérique Vallée - ALL4TEC, France
Franck Sadmi - ALL4TEC, France
Jonathan Dumont - ALL4TEC, France
 
Tool B.3 Systems Engineering for Cyber-Physical Products
Bernard Clark - Dassault Systemes, United Kingdom
 
17:00-18:00    Room Ariane 1
 
> Session Tool C - Automotive Functionnal Safety ISO26262
Session Chair: Denis Claraz - Continental Automotive, France
 
Simon Dr. Burton - Vector Informatik GmbH, Germany
 
 
Mark James - LDRA, United Kingdom
 
17:00-18:00    Room Ariane 2

> Session Tool D - Operating System & implementation
Session Chair: Claire Pagetti - Onera, France

Tool D.1 RTEL4I (Real Time Embedded Linux for Industries)
Pierre Ficheux - Open Wide Ingénierie, France
 
Tool D.2 Unification of Safety-Critical Java
Kelvin Nilsen - Atego Systems, Inc., United States
 
Xavier Querol - ESG Automotive France, France
 
19:30 - 23:00     Room Caravelle
 
> Conference Dinner

Powered by Moonasoft Interactive