 |
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
|
|
Programme – Wednesday January 30, 2008
|
|
08:30 – 09:00 Participants registration / Welcome Coffee
|
|
09:00 – 09:30
|
Welcome Session
Alain BENETEAU – Midi-Pyrenées Region Vice-President
Gérard LADIER - Airbus and Congress Co-Chairman
Jean-Luc MATE – Continental Automotive France and Congress Co-Chairman
Jean-Claude LAPRIE - LAAS-CNRS and Programme Committee Chairman
|
|
|
Opening Session
Session Chair : Jean-Luc MATÉ, Continental Automotive France
|
|
09:30 – 09:45
|
Software Engineering: from 40th Anniversary to the Automotive Breakthrough
Karl-Thomas NEUMANN - Member of the Executive Board - Chief Technology Officer, Continental AG, Germany
|
|
09:45 – 10:00
|
Software, an Enabling Technology for the Information Society
Emmanuel GABLA -French Ministry for Economy, Finance and Employment – Technology and Information Society Director, France
|
|
10:00 – 11:00
|
Keynote Address
Safety and Security for Embedded Networks Yves DESWARTE - LAAS-CNRS, France
Session Chair : Gérard LADIER, Airbus France
|
|
11:00 – 11:30
|
Exhibition visit / Refreshment break
|
|
|
Session 1A :
Model Driven Engineering Processes 1
Session Chair : Patrick CORMERY
Astrium Space Transportation
|
Session 1B :
Distributed Architectures
Session Chair : Zoubir MAMMERI
IRIT / UPS
|
Session 1C :
Virtualisation
Session Chair : Jean-Charles FABRE
LAAS / CNRS
|
|
11:30 – 11:55
|
TopProcess: A Process Model Driven Approach Applied in Topcased for Embedded Real-Time Software
Angel GARCIA, Jean Noel GUYOT, Boris LIBERT - Tectosages, France
Benoît COMBEMALE, Xavier CREGUT - IRIT CNRS, France
|
Disco Space-Oriented Middleware:
Architecture of a Distributed Runtime Environment for Complex Spacecraft On- Board Applications
Marek PROCHAZKA, Stuart FOWELL - SciSys, UK
Luc PLANCHE - EADS Astrium SAS, France
|
Simulator-based testing environment for avionics software: a feasibility study
Samuel FLORES - ATOS ORIGIN , France
Philippe LE MEUR, Jean François RENNESSON - AIRBUS FRANCE, France
|
|
11:55 – 12:20
|
The MeMVaTEx Methodology: From Requirements to Models in Automotive Application Design Marie-Agnès PERALDI-FRATI - I3S, NSA,CNRS/INRIA, France
Fadoi LAKHAL, Djamel LOUAR, Yves SOREL - INRIA, France
Quang-Dao VAN, Jean-Louis BOULANGER - UTC Heudiasyc, France Hubert DUBOIS - CEA LIST, France
Arnaud ALBINET - Continental Automotive France
Sylvain BEGOC, Olivier CASSE, Idvig DAL - Monditech, France
|
Architecture for Multi Processor Systems for Distributed Computing Natarajan RAMANATHAN, Anurag REGHU - Tata Elxsi Limited, India
|
Automating the Port of Linux to the VirtualLogix Hypervisor using Semantic Patches
François ARMAND - VirtualLogix, France
Gilles MULLER - EMN, France
Julia LAWALL, Jean BERNIOLLES - Diku, Denmark
|
|
12:20 – 12:45
|
Solutions to Automate Collaborative
Requirements Management
Eric LARRONDE LARRETCHE, Lionel BURGAUD, Eliane FOURGEAU - Geensys, France
|
High Availability Train to Wayside
Communication System for Subway
Application using 802.11X.
Anne Sophie CHAZEL, Saïd EL FASSI,
R.DELAJUDIE, JY DANIC - Siemens
Transportation, France
|
Embedded Software V&V using Virtual Platforms for Power Train Applications
Bertrand TAVERNIER, Jean Marc TALBOT - VaST Systems Technology, France
Philippe CUENOT - Continental Automotive France
|
|
12:45 – 13:10
|
A Multi-Model Process for Managing Project Complexity
Patrice BOULLE - Sysalis, France
Marie Line VALENTIN - Airbus, France
Anthony INARD -EUROCONTROL, Belgium
|
Ensuring Timed Validity of Distributed Real Time Data
Tanguy LE BERRE, Philippe QUEINNEC, Gérard PADIOU - IRIT ENSEEIHT, France
|
|
|
13:10 – 14:10
|
Exhibition visit / Lunch
|
|
|
Session 2A:
Model Driven Engineering Processes 2
Session Chair: Marie-Line VALENTIN - Airbus
|
Session 2B:
Fault Tolerance, Design and Analysis
Session Chair: Gilles Le CALVEZ - Valeo
|
Session 2C:
Human-Machine Interaction 1
Session Chair: Sandra BASNYAT - IRIT
|
|
14:10 – 14:35
|
A Model-Driven Process for Self-Adaptive Software
Franck CHAUVEL, Jean-Marc JÉZÉQUEL, Olivier BARAIS - INRIA & Université de Rennes, France
Isabelle BORNE-Valoria, France
|
Towards Adaptive Fault Tolerance in Embedded Systems
Thomas PAREAUD, Jean-Charles FABRE, Marc-Olivier KILLIJIAN - LAAS-CNRS, France
|
Development of the Drive Dozing Prevention Technique using a Sensor Installed in the Seat
for Detecting the Driver’s Condition
Shigehiko KANEKO - The University of Tokyo, Japan
Masato ENOKIZONO - Oita University, Japan Tsutomu KAMEI - Shimane Institute of Health
Science, Japan
Etsunori FUJITA - Delta Tooling Co.Ltd., Japan
|
|
14:35 – 15:00
|
Introducing Simulation and Model Animation in the MDE Topcased Tool-kit
Marc PANTEL, Benoït COMBEMALE, Xavier CREGUT - FéRIA-IRIT-INPT-ENSEEIHT, University of Toulouse, France
Pierre MICHEL - FéRIA-ONERA-DTIM, France
Jean-Patrice GIACOMETTI - Airbus, France
|
An Architectural Approach to Autonomics and Self-management of Automotive Embedded Electronic Systems
DeJiu CHEN, Magnus PERSSON - Royal Institute of Technology, Sweden
Detlef SCHOLLE - Enea Embedded Technology AB, Sweden
Viktor FRIESEN -Daimler AG, Germany
Richard ANTHONY - The University of Greenwich, UK
Achim RETTBERG, the University of Paderborn, Germany
Cecilia EKELIN - Volvo Technology AB, Sweden
Gerrit de BOER - Robert Bosch GmbH, Germany
|
Real Time Inference of Driver's Intent via Analyses of Pressure Distribution on the Seat
Makoto ITOH - Univ. Tsukuba, Japan
|
|
15:00 – 15:25
|
Model-driven Engineering Metrics for Real Time Systems
Martin MONPERRUS, Joël CHAMPEAU, Brigitte
HOELTZENER - ENSIETA, France
Jean-Marc JEZEQUEL - INRIA, France
|
COntinuuM,a CO-modeling Methodology for the Integration of Real-time Architecture Models
Isabelle PERSEIL, Laurent PAUTET - GET-Télécom
Paris, LTCI UMR 5141 CNRS, France
|
Software Application for Developing In-Car Speech HMI
Stefan SCHULZ, Thomas BENSCHEID, Jörg SCHILLER, Stefan ORTMAN - Carmeq VW, Germany
|
|
15:25 – 15:50
|
ASSERT: a Step Towards Reliable and Scientific System and Software Engineering.
Eric CONQUET - ESA, Netherlands
|
Integration of Formal Fault Analysis in ASSERT: Case Studies and Lessons Learnt
Jean-Paul BLANQUART - Astrium Satellites, France
Jocelyn LUCOTTE - INSA Lyon, France
David LESENS, Astrium Space transportation, France
Frédéric TARDY - Dassault Aviation, France
Michel TURIN - GTI6, France Pierre BIEBER,
Christel SEGUIN, Guy DURRIEU - ONERA, France
Eric CONQUET - ESA, Netherlands
|
Cost-efficient Design and Production of Flexible and Re-usable Near Real Time Tactical Human-Machine Interfaces
Christophe HUNTZINGER, Mikael LE BERRE, Vincent VERBEQUE -THALES Airborne Systems, France
Olivier GRISVARD - ENST Bretagne, France
|
|
15:50 – 16:20
|
Exhibition visit / Refreshment break
|
|
|
Session 3A: Open Platforms Session Chair: Alain CHEVALIER - Airbus
|
Session 3B: Simulation for Validation Session Chair: Michael HANEBERG - BMW AG
|
Session 3C: Component Driven Development and Variability Session Chair:Gilles MOTET - INSA Toulouse
|
|
16:20 – 16:45
|
OPEES: to an Open Platform for the
Engineering of Embedded Systems
François TERRIER, Christophe LECLUSE - CEA LIST, France
Gérard LADIER - Airbus, France
François VERNADAT - FERIA, France
Olivier TREBUCQ - INRIA, France
Laurent JULLIARD - Minalogic, France
Bruno BEC - Schneider Electric, France
Mario DIAZ-NAVA - STMicroelectronics, France
Philippe MILS - THALES, France
|
Simulation and Validation Strategy on Real-Time Autocoded Onboard Software for Formation Flying In-Orbit Ranging Demonstration
Olivier BOMPIS - Communication & Systemes, France
Bernard PONTET - Michel DELPECH - Pierre-Yves
GUIDOTTI - CNES, France
|
A Component Driven Development Process from the System Design to the Final Implementation
Guillaume VERAN - Gérald Emmanuel GARCIA - Thales Alenia Space, DRT/RTPS, France
|
|
16:45 – 17:10
|
Edona: An Open Integration Platform for Automotive Systems Development Tools
François OUGIER - Renault, France
François TERRIER - CEA LIST, France
|
Technology Evolution of Aircraft Simulator for Real Equipments Validation
Jean-Marie CALLUAUD - Jean CASTERES, Stephane GAUDAIRE - Airbus France
|
Modelling Automotive Function Nets with Views for Features,Variants and Modes
Holger KRAHN, Hans GRÖNNIGER, Bernhard RUMPE - Technische Universität Braunschweig,Germany
Jochen HARTMANN, Stefan KRIEBEL,
Lutz Rothhard - BMW Group, Germany
|
|
|
Session 4A: Multiformalism and Model Transformation Session Chair: Karama KANOUN -
LAAS / CNRS
|
Session 4B: Schedulability Session Chair: Jörgen HANSSON - SEI/CMU
|
Session 4C: Architecture Session Chair: Rafael RODRIGUEZ - GTD
|
|
17:10 – 17:35
|
Supporting a Multi-formalism Model Driven Development Process with Model Transformation,a TOPCASED Implementation
Xavier Dumas,Tristan FAURE, Sébastien Gabel, Julien Honoré, Maurice Heitz - CS Systèmes d'Information, France
Iulian Ober - Université de Toulouse,France
David Lesens - CS Communication & Systems, France
|
Pushing the Limits of CAN - Scheduling Frames with Offsets Provides a Major Performance Boost
Nicolas NAVET, Lionel HAVET - INRIA -LORIA, France
Mathieu GRENIER - INRIA - INPL, France
|
Engine Management Software Dynamic Architecture Versus Integration
Denis CLARAZ - Continental Automotive France
Michael NIEMETZ - Continental Automotive AG, Germany
|
|
17:35 – 18:00
|
FIACRE: an Intermediate Language for Model Verification in the TOPCASED Environment
Bernard BERTHOMIEU - LAAS, France
Jean-Paul BODEVEIX, Mamoun FILALI - IRIT, France
Patrick FARAIL, Pierre GAUFILLET - AIRBUS, France
Hubert GARAVEL, Frédéric LANG - INRIA, France
François Vernadat - LAAS, France
|
Configuring the Communication on FlexRay : The Case of the Static Segment
Lionel Havet, Nicolas Navet - INRIA - LORIA, France
Mathieu GRENIER - INRIA - INPL, France
|
Impact of Runtime Architectures on Control System Stability
Peter FEILER, Jorgen HANSSON -Software Engineering Institute, USA
|
|
18:00 – 18:25
|
An Open Embededd Experimentation: “Transformation from an SDL Profiled UML
Model to a FIACRE Model”
Agusti CANALS, Hugues BONNIN, Sébastien GABEL, Christophe Le CAMUS - CS Communication & Systems, France
Rodrigo SAAD - LAAS CNRS, France
|
Evaluation Of A Real-Time Monitoring Framework
Thomas ROBERT, Matthieu ROY, Jean-Charles FABRE - LAAS-CNRS, University of Toulouse, France
|
A verifiable architecture for multitask, multi-rate synchronous software
Jean-Louis CAMUS, Olivier GRAFF, Sébastien POUSSARD - Esterel Technologies, France
|
|
18:25 – 18:50
|
|
|
A High Availability Vital Computer for Railway Applications: Architecture & Safety Principles
Sylvain BARO -DSF - Siemens Transportation Systems, France
|
|
Session end to 20:30
Cocktail party at the exhibition
|
|
Programme