PROGRAM AND PAPERS TO DOWNLOAD

Session 1A | Session 1B | Session 1C | Session 2A | Session 2B | Session 2C | Session 2D | Session 3A | Session 3B | Session 3C |

Session 3D | Session 4A | Session 4B | Session 4C | Session 4D


10:15 -    Keynote address
11:15      Aeromotive convergence: dream or reality for embedded systems?
               Jean Botti – CTO of EADS

 

11:45 -    1A-1 Advantages and Pitfalls of Moving from an 8 bit System to 32 bit
12:10      Architectures
               David Kerr-Munslow – Cortus SA, France

12:10 -    1A-2 New Approach for Sensor Simulation in Hardware In the Loop Test
12:35      Systems 
               Stephan Ahrends – National Instruments, Germany
               Rick Kuhlman, Vineet Aggarwal, Mike Lyons  – National Instruments, United States

12:35 -   1A-3 System architecture, tools and modeling for Safety critical
13:00      automotive applications– the R&D Project SASHA
               Jochen Langheim, B. Guegan, L. Maillet-Contoz – STMicroelectronice, France
               K. Maaziz, G. Zeppa – Delphi, France
               S. Boutin, H. Aboutaleb – Knowledge Inside, France 
               F. Philippot – ESG, France 
               P. David – Université de Technologie deCompiègne, France

Top
 

11:45 -    Session 1B Real-Time Assessment and Monitoring
13:00      Chairperson: Léo Motus – University of Estonia, Estonia

 

11:45 -    1B-1 Applying Deadlock Risk Assessment in Architectural Models of
12:10      Real-Time Systems 
               Antonio Monzon – Airbus Military, Spain
               José Luis Fernández-Sánchez, Jorge Ruiz-De-Castañeda – Technical

               University of Madrid, Spain

12:10 -    1B-2 Integration of Code-Level and System - Level Timing Analysis for
12:35      Early Architecture Exploration and Reliable Timing Verification               

               Christian Ferdinand, Reinhold Heckmann, Daniel Kästner – AbsInt 
               Angewandte Informatik, Germany

               Marek Jersak, Kai Richter – Symtavision, Germany

 

12:35 -    1B-3 A Design Framework for End-to-End Timing Constrained Automotive
13:00      Applications
               Friedhelm Stappert – Continental Automotive, Germany
               Jan Jonsson – Chalmers University of Technology, Sweden
               Jürgen Mottok – University of Applied Sciences, Germany
               Rolf Johansson – Mentor Graphics, Sweden

Top

11:45 -   Session 1C Standards for embedded systems by CG2E 
13:00     Chairperson: Gérard Ladier – Aerospace Valley cluster, France

              

              1C-1 What is the CG2E? (paper non available)
              Jean-Claude Derrien – SAFRAN, France

 

              1C-2 Multi-domain comparison of dependability and safety standards
              Philippe Baufreton – Sagem Défense Sécurité, France 
              Jean-Paul Blanquart – Astrium, France

              Jean-Louis Boulanger – CERTIFER, France
              Hervé Delseny – Airbus, France 

              Jean-Claude Derrien – Sagem Défense Sécurité, France 
              Jean Gassino –IRSN, France 
              Gérard Ladier – Aerospace Valley, France 
              Emmanuel Ledinot – Dassault Aviation, France

              Michel Leeman – Valeo, France 
              Philippe Quéré – Renault, France 
              Bertrand Ricque – Sagem Défense Sécurité, France

 

              1C-3 Towards a standard for C language, shared by the embedded 
              software industry (paper non available)
              Gilles Dulon – SAFRAN, France 
              Xavier Fornari – Esterel Technologies, France
              Dider Geffrotin - GEENSYS, France
              Jean-Patrice Giacometti – Airbus, France 
              Rodolphe Jouvin – Dassault Aviation, France 
              Xavier Méchin – Astrium, France 
              Frédéric Mondot – Renault, France

 

              1C-4 Metrics for the development of embedded software using the 
              COMIC function points approach (paper non available)
              Alain Abran – ETS, University of Quebec, Canada

 

14:30 -   Session 2A Engineering Frameworks 1
15:45     Chairperson: Tom Clausen – European Commission, Belgium

 

14:30 -   2A-1 Eclipse Based Architecture of the EDONA Platform for Automotive
14:55     System Development
              François Ougier – Renault, France
              François Terrier – CEA LIST, France

 

14:55 -  2A-2 An Advanced Engineering Framework experimented on a
15:20     R&AE Electric Vehicle case              

              Francois Colet – Renault Technocentre, France
              Samuel Boutin, J. Matta – Knowledge Inside, France

 

15:20 -  2A-3 The TASTE Toolset: Turning Human Designed Heterogeneous Systems
15:45     into Computer Built Homogeneous Software              

              Eric Conquet, Maxime Perrotin – ESA, Netherlands
              Pierre Dissaux – Ellidiss, France 
              Thanassis Tsiodras – Semantix, Greece
              Jérôme Hugues – ISAE, France

14:30 -  Session 2B SoCs and FPGAs
15:45    Chairperson: Jean-Max Gaubert – AREVA, France

14:30 -  2B-1 UML/MARTE Process for SoC/SoPC (paper non available)
14:55     Ali Koudri, Joel Champeau, Jean Christophe Le Lann – ENSIETA, France
              Denis Aulagnier – Thales, France

 

14:55 -  2B-2 An Interactive System Level Simulation Environment for Systems
15:20     on Chip
              Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet – Telecom Paris-
              Tech, France

15:20 -  2B-3 The GENCOD Project: Automated Generation of Hardware code for
15:45     Safety critical applications on FPGA Targets
              Pascal Pampagnin – Airbus, France
              Ludovic Letellier – Alyotech Innovations

14:30 -  Session 2C Performance and Real-Time Modeling
15:45    Chairperson: Jürgen Mottok – Regensburg University of Applied Sciences, Germany

 

14:30 - 2C-1 AADL Design-Patterns and Tools for Modelling and Performance
14:55   Analysis of Real Time Systems 

             Pierre Dissaux, Jérôme Legrand – Ellidiss Technologies, France 
             Frank Singhoff, Alain Plantec, Mickael Kerboeuf – UEB / UBO / LISyC, France

 

14:55 -  2C-2 Completing EAST-ADL2 with MARTE for Enabling Scheduling

15:20    Analysis for Automotive Applications
             Saoussen Ansi, Arnaud Albinet , Sara Tucci-Pergiovanni– Continental 
             Automotive, France
             Chokri Mraidha, Sebastien Gérard, François Terrier – CEA LIST, France
 

15:20 -  2C-3 Xoncrete: a Scheduling Tool for Partitioned Real-Time Systems
15:45    Vicente Brocal, Miguel Masmano, Ismael Ripoll, Alfons Crespo, 
             Patricia Balbastre – UPV, Spain 
             Jean-Jacques Metge – CNES, France

Top

 

 

14:30 -  Session 2D Automotive Standards

15:45    Chairperson: Olivier Guetta – Renault, France

 

14:30 -  2D-1 Toward the Application of ISO26262 for Real-Life Embedded
14:55    Mechatronic Systems 
             Jean-Marc Astruc – Continental Automotive, France
             Nicolas Becker – PSA Peugeot-Citroën, France

14:55 - 2D-2 Conformance Testing for the AUTOSAR Standard
15:20   Alain Gilberg – PSA- Peugeot Citroën, France
            Bernd Kunkel – VOLKSWAGEN AG, Germany
            Alain Ribault – KEREVAL, France
            Philippe Robin – TECHNOVEO, France
            Noë Spinner – DAIMLER AG, Germany

Top

 

16:15 - Session 3A Automatic Code Generation from Models
17:30   Chairperson: Kamel Maaziz – Delphi, France

 

16:15 - 3A-1 Model Based Code Generation for Distributed Embedded Systems
16:40   Gopal Raghav, Swaminathan Gopalswamy, Karthikeyan Radhakrishnan 
            – Emmeskay Inc., USA
            Julien Delange, TELECOM Paris-Tech, France
            Jérome Hugues – Toulouse University/ISAE, France

 

16:40 - 3A-2 Towards Reliable Code Generation with an Open Tool: Evolutions of 
17:05   the Gene-Auto Toolset
            Andres Toom – Institute of Cybernetics at Tallinn University of Technology, Estonia
            Nassima Izerrouken, Marc Pantel – IRIT-ENSEEIHT, France
            Olivier Ssi Yan Kai – Continental Automotive, France
            Tonu Naks – IB Krates OÜ, France

17:05 - 3A-3 Experiences with the Gene-Auto Code Generator in the Aerospace
17:30   Industry
            Ana-Elena Rugina – Astrium Satellites, France
            Jean-Charles Dalbin – Airbus Operations, France

 

16:15 - Session 3B Validation of Real-Time 
17:30   Chairperson: Duncan Brown – Rolls-Royce, UK

16:15 - 3B-1 Real Time on Moblin Linux
16:40   Yannick Meyer, Abdelillah Ymlahi – ESG Automotive, France

16:40 - 3B-2 Deterministic scheduling reconciles cache with preemption for WCET
17:05   Estimation 
            Michel Destelle, Jean-Louis Dufour – Sagem, France

17:05 - 3B-3 An Automatic Parametric Approach for WCET Analysis of C Programs
17:30   Djemai Kebbal – IRIT, France

Top

 

16:15 - Session 3C Virtual Platforms
17:30   Chairperson: Thierry Seynaeve – ESG Automotive, France

 

16:15 - 3C-1 System Architecture Virtual Integration: a Case Study
16:40   Jorgen Hansson, Peter Feiler, Lutz Wrage – Software Engineering
            Institute, United States

 

16:40 - 3C-2 EDONA/HMI – Modelling of Advanced Automotive Interfaces
17:05   Sébastien Boisgérault, Eric Vecchié – Mines ParisTech, France
            Jean-Marc Temmos – Visteon Software Technologies, France
            Olivier Meunier – Intempora, France

17:05 - 3C-3 From Observing Human Testers To An Automatic Generation Of
17:30   System Specifications (paper non available)
            Asem Eltaher, Markus Maurer – Technische Universität Braunschweig, Germany 
            Thomas Form – Volkswagen, Germany
            Mohamed Ayeb – Universität Kassel, Germany

16:15 - Session 3D Software Quality
17:30   Chairperson: Karama Kanoun – LAAS-CNRS, France

 

16:15 - 3D-1 The “SQALE” Models for Assessing the Quality of Software Source Code
16:40   (paper non available)
            Jean-Louis Letouzey, Thierry Coq – DNV IT Global Services, France

 

16:40 - 3D-2 Software Quality Objectives for Source Code
17:05   Frederic Retailleau – Delphi Diesel System France
            Thierry Cambois, Daniel Mainberte, Philippe SPOZIO – PSA Peugeot-Citroën,

            France
            Olivier Guetta, Frederic Mondot – Renault, France
            Martin Brochet, Patrick Munier, Loic Noury – The MathWorks, France 
            Emmanuel Coutenceau, Patrick Briand – Valeo, France

17:05 - 3D-3 TASTER: Frama-C Plug-Ins to Enforce Coding Standards
17:30   David Delmas – Airbus Operations, France
            Stéphane Duprat, Victoria Moya Lamiel – Atos Origin, France

17:40 - Session 4A Critical System Modeling

18:30   Chairperson: Gilles Le Calvez – Valeo, France

 

17:40 - 4A-1 SysML for Embedded Automotive Systems: a Practical Approach
18:05   Eric Andrianarison, Jean-Denis Piques – Valeo, France

 

18:05 - 4A-2 SysML + MARTE Applied to the Specification of Embedded Critical
            Software (paper non available)
18:30   Neidert Martin, Marliere Laurent – Sopra Group, France

Top

17:40 - Session 4B Data Management 
18:30   Chairperson: Pierre Vielcanet – Consultant, France

17:40 - 4B-1 ICD Management (ICDM) Tool for Embedded Systems on Aircrafts
18:05   Miguel Angel Mozas Pajares, Carlos Murciano Diaz, Ismael Lafoz Pastor, 
            Carlos Fernandez de la Hoz – Airbus Military, Spain

 

18:05 - 4B-2 Formal Data Validation – Formal Techniques Applied to Verification of 
            Data Properties
18:30   Mathieu Clabaut, Christophe, Metayer – SYSTEREL, France
            Eric Morand – CNES, France

Top
 

17:40 - Session 4C Formal Methods
18:30   Chairperson: Christel Seguin – ONERA, France

17:40 - 4C-1 Guidance for Using Formal Methods in a certification Context
18:05   Duncan Brown – Aero Engine Controls, United Kingdom
            Hervé Delseny – Airbus Operation, France 
            Kelly Hayhurst – NASA Langley Research Center, United States
            Virginie Wiels – ONERA, France

18:05 - 4C-2 Embedded System Requirements Verification Using HiLeS Designer
18:30   Jean-Claude Pascal, Philippe Esteban – LAAS-CNRS, France
            Carlos E. Gomez – Universidad de los Andes, Colombia
            Yannick Déléris – Airbus, France
            Jean-Rémi Devatine – Aéreoconseil, France

Top 

 

17:40 - Session 4D Multi-Standard Approaches
18:30   Chairperson: Emmnanuel Ledinot – Dassault Aviation, France

17:40 - 4D-1 Developing an Argument for Def Stan 00-56 from Existing
18:05   Qualification Evidence
            Zoë Stephenson, Tim Kelly – The University of York, United Kingdom
            Jean-Louis Camus – Esterel Technologies, France

18:05 - 4D-2 Convergence of the Latest Standards Addressing Safety and Security
            for Information Technology
18:30   Adrien Derock, Patrick Hebrard – DCNS, France 
            Frédérique Vallee – MATHIX, France