Description de l'événement

International Conference : ERTS EMBEDDED REAL TIME SOFTWARE 2008
TOULOUSE, FRANCE - Palais des congres - Pierre Baudis
January 29, 30, 31, February 1, 2008

Welcome   Partners   Committees   Programme at a glance   Wednesday, January 30 Programme   Friday, February 1 Programme   Thursday January 31, Programme   Special Event Open Source  
 
Venue and Access   Hotel accommodation   Sponsors   Exhibition   Social Event - Cocktail Dinner   Accompanying-person Programme   Eurobot   ERTS Main Topics   Press Room   Proceedings   40th Anniversary of Software Engineering  

À Télécharger
Programme 0,69 Mo

Programme – Thursday January 31, 2008
 
08:00 – 08:30
Participants registration / Welcome Coffee
08:30 – 09:30

Keynote address
Real Time Interactions between Humans and Automation:
Human Factors Points of View for Transportation Safety
Toshiyuki INAGAKI - University of Tsukuba, Japan
Session Chair : Jean Luc MATE - Continental Automotive France
 
Session 5A: Business Models Session Chair: Werner FROEHLING - Volvo
Session 5B: Design and Verification Session Chair: Philippe BAUFRETON -Hispano Suiza
Session 5C: Integrated Modular Avionics Session Chair: Dominique POTIER - Thales
09:40 – 10:05
A New Business Model Experienced between an Automotive and a Software / Services Company Guillaume DEVAUCHELLE, Gilles LE CALVEZ, Daniel FRAYSSINET, Bernard COURNIL - VALEO, France Olivier PAYRAUD, Pierre-Henri GABRIEL - IBM, France
Constraint-based Design of Avionics Platform – Preliminary Design exploration Frédéric Minot-AIRBUS, France, Jean-Paul Bodeveix, Mamoun Filali -IRIT, France, David Doose, Charles Castel, Cédric Pralet, Pierre Bieber - ONERA, Toulouse, France
IMA for Space : status and considerations Paul ARBERET - Centre national des études Spatiales (CNES), France Juan MIRO - ESA, Netherlands
10:05 – 10:30
Free Software and Leveraged Service Organizations Franco GASPERONI - AdaCore, France
Comparison of functional integration methods from aviation and automotive industries Norbert NEUENDORF, René KNORR - ESG Elektroniksystem, Germany
Impact of an IMA Software Architecture on Legacy Avionic Software Thomas BRIXEL - EADS Deutschland GmbH, Germany
10:30 – 11:00
Exhibition visit / Refreshment break
 
Session 6A: AADL and Dependability Session Chair : Thierry SEYNAEVE - ESG
Session 6B: Static Analysis Session Chair : Marie Claude GAUDEL Université Paris Sud
Session 6C: AUTOSAR in Use Session Chair : Kentaro YOSHIMURA - Hitachi
11:00 – 11:25
Software Dependability Modeling using an Industry-Standard Architecture Description Language Ana - Elena RUGINA, Karama KANOUN, Mohamed KAÂNICHE - LAAS-CNRS, France Peter FEILER - Carnegie MELLON Software Engineering Institute, USA
Proving Temporal Properties at Code Level for Basic Operators of Control / Command Programs David DELMAS - Airbus, France Stéphane DUPRAT - Atos Origin, France Benjamin MONATE, Patrick BAUDIN -CEA-LIST, France
Model Weaving Support for Migrating Software Artefacts from AUTOSAR 2.0 to AUTOSAR 2.X Juan M. VARA MESA - Kybele Research Group, Rey Juan Carlos University, Spain Marcos DIDONET DEL FABRO, Frédéric JOUAULT, Jean BEZIVIN - ATLAS Group, France
11:25 – 11:50
Modelling Wireless Sensor Network Architectures using AADL Amitabha GHOSH - University of Southern California, USA Luis PEREIRA, Ting YAN - Innovation Center -Eaton Corporation, USA Hui CAO - Dept. of Computer Science & Engineering, USA
Software Analysis :A Point of View of a Car Manufacturer Frédéric MONDOT - RENAULT France
Migration Strategy of In-House Automotive Real-Time Applicative Software in AUTOSAR Standard Pierre-Henry DEZAUX - PSA Peugeot Citroen, France
11:50 – 12:15
Model Driven Engineering and Dependability Analyses: The Topcased Approach Jean-Paul BLANQUART - Astrium Satellites, France Jean-Claude LAPERCHE - Airbus, France Christel SEGUIN - ONERA, France Martin MÜLLER - Siemens AG, Germany Gilles HANNOYER - Continental Automotive France Christophe DELORD - Sopra Group, France Marion MOREL - Thales Avionics, France Jerome DOUMERC - SOPRA Group - France
Combining a High-Level Design Tool for Safety-Critical Systems with a Tool for WCET Analysis on Executables Christian FERDINAND, Reinhold HECKMANN, Florian MARTIN - AbsInt Angewandte Informatik GmbH, Germany Thierry Le SERGENT, Daniel LOPES, Xavier FOR-NARI - Esterel Technologies, France
Systematic use of the AUTOSAR Standardized Application Interfaces Stefan VOGET - Continental, Germany Michael GOLM - Siemens CR, USA Artem OZHIGIN - SIEMENS, Russian Federation
12:15 – 12:40
Code Generation Strategies from AADL Architectural Descriptions Targeting the HI Domain Jérome HUGUES, Bechir ZALILA Julien DELANGE, Laurent PAUTET - GET Télécom Paris, France
Industrial Applicability of Advanced Model/Code-based V&V Techniques for Verifying Program Properties in Embedded Applications. Chris HOTE - The MathWorks Inc, USA Marc LALO, Patrick MUNIER - The MathWorks Inc., France Daniel PILAUD,Casserousse consulting, France
Automotive Real Time Development Using a Timing-augmentated AUTOSAR Specification Oliver SCHEICKL, Michael RUDORFER - BMW Car IT GmbH, Germany
12:40 – 14:10
Exhibition visit / Lunch
14:10 – 16:10
Special Session and Panel : Safety in Automotive and Avionics
Session Chair : Gérard LADIER - Airbus
Technology Changes in Aeronautical Systems Jim KRODEL - Pratt & Whitney Aircraft Engines, USA
Towards Functional Safety in Automotive Electronics Jean-Marc ASTRUC - Continental Automotive France Nicolas BECKER - PSA, Peugeot Citroën, France
System Safety in a Few Nutshells Pascal TRAVERSE - Airbus, France
AUTOSAR Overview - Current Status - Support for Functional Safety Simon FÜRST - BMW AG, Germany
16:10 – 16:40
Exhibition visit / Refreshment break

 
Session 7A: UML in Use
Session Chair: Olivier GUETTA - Renault
Session 7B: Timing Analysis
Session Chair: Denis CLARAZ Continental Automotive France
Session 7C: Software Product Lines Session Chair: François TERRIER - CEA
16:40 – 17:05
Experience of an Efficient and Actual MDE Process: Design and Verification of ATC Onboard Systems Eric BONNAFOUS, Eric SAVES, Julien HONORE, Eric Gilbert - CS-SI, France
Timing Requirement Description Diagrams for Real-Time System Verification Benjamin FONTAN, Pierre de SAQUISANNES - University of Toulouse/ LAAS-CNRS, France Ludovic APVRILLE - TELECOM ParisTech, France
Application Area for Multiple Software Product Lines in Automotive Development Uwe BEHER - ESG Elektroniksystem- und Logistik-GmbH, Germany Mike HEIDRICH - Fraunhofer ESK, Germany Günter BÖNISCH - Continental AG, Germany
17:05 – 17:30
UML Modeling of a Real-Time Embedded Industrial System: an Engine Tested Nicolas PERNET, Sylvie CAUVIN - IFP, France Frederic THOMAS, Chokri MRAIDHA - CEA-LIST, France Michel SALL, Philippe ROBIN - TRIALOG, France
Timing Analysis using the MARTE Profile in the Design of Rail Automation Systems Axel ZECHNER, Michaela HUHN Matthias HAGNER - Institute for Programming and Reactive Systems, Germany
A Walk Through EMS2010 Modular Software Development Jean-Marc DRESSLER - Renault, France
17:30 – 17:55
IMA Systems Development and Configuration: From UML to Binary.A Proposal of UML Profile to be used with the ARINC 653 standard. Miguel Angel MOZAS PAJARES, Ismael LAFOZ PASTOR, Carlos Fernandez de la HOZ - EADS-CASA, Spain Olivier CHARRIER – Wind River, France
Integrating System-Level and Code-Level Timing Analysis for Dependable System Development Marek JERSAK, Kai RICHTER Symtavision GmbH, Germany Christian FERDINAND, Reinhold HECKMANN, Florian MARTIN - AbsInt Angewandte Informatik GmbH, Germany
Modularity and Associated Tools as a Mean to Master Quality of Complex Embedded Systems Robert BONETTO - RENAULT, France Jean Claude MICHON - FCF, France
18:00 – 19:00
Exhibition visit
19:30 – 23:00
Gala Evening - Salle des Illustres - Sponsored by Toulouse City Hall and ESG
Welcome: Jean-Luc Moudenc -Toulouse City Mayor
After Dinner Talk -Engineering Software Engineering -Brian RANDELL,University of Newcastle upon Tyne, UK