PROGRAMME - Embedded Real Time Software and Systems

Programme, Wednesday 1 February 201213:00-14:00 Exhibition visit / Room Concorde - Lunch / Room Caravelle14:00-15:00Panel Multi-coreSession Chair: Joseph SIFAKIS, Verimag - FrancePanelists: Ralph MADER, Continental corportation - Germany / Frédéric ASPRO, Airbus - FranceVincent LEFFTZ, Astrium Satellites - France / Benoit DINECHIN, Kalray - FranceRoom Auditorium St Exupéry15:10-16:10Session 2AModel Based SafetyRoom Auditorium St ExupérySession 2BCase Studies (systems)Room GuillaumetSession 2CHuman FactorsRoom Ariane 1Session 2DVerification & Validation IIRoom Ariane 215:10-15:402A.1 - Using the CESAR SafetyDesign Process for FunctionalSafety Management in the contextof ISO 26262Eric Armengaud, GerhardGriessnig, Quentin Bourrouilh -AVL List GmbH, AustriaHelmut Martin, PeterReichenpfader - Virtual VehicleCompetence Center, Austria2B.1 - Avionic-X : A demonstratorfor the Next Generation LauncherAvionicsDavid Monchaux - CNES -Direction des Lanceurs, FrancePhilippe Gast, Jérémie Sangare- ASTRIUM Space Transportation,France2C.1 - Multi-Criteria Evaluation ofAircraft Cockpit Systems by ModelbasedSimulation of Pilot PerformanceAndreas Luedtke, Jan-PatrickOsterloh, Florian Frische -OFFIS, Institute for InformationTechnology, Germany2D.1 - Validate implementationcorrectness using simulation : theTASTE approachJulien Delange - ESA, NetherlandsJerome Hugues - ISAE, FrancePierre Dissaux - Ellidiss, France15:40-16:102A.2 - A COTS-based Safe DesignMethod for Train Control SystemsSalam Hajjar, Emil Dumitrescu,Eric Niel - INSA de Lyon, France2B.2 - Flight Test Engineer Stationfor A350 aircraftYves Marcet, GuillaumeMonsarrat, Olivier Gallot, Jean-Francois Dausse - Airbus France,France2C.2 - Interactive Cockpits Applications:Specification, Prototypingand Validation using a Petri-netsbased FormalismEric Barboni, Arnaud Hamon,Célia Martinie, David Navarre,Philippe Palanque - ICS-IRITUniversity Toulouse 3, FranceAdrienne Tankeu-Choitat -ICS-IRIT University Toulouse 3,Cameroon2D.2 - DO-178C Compliance of VerisoftFormal MethodsHolger Blasum - SYSGO AG,GermanyFrank Dordowsky - ESGElektroniksystem - und LogistikGmbH, GermanyBruno Langenstein, AndreasNonnengart - German ResearchCentre for Artificial Intelligence(DFKI), Germany16:10-16:40 EXHIBITION VISIT / REFRESHMENT BREAK / Room Concorde8

Programme, Thursday 2 February 201215:30-16:00 EXHIBITION VISIT / REFRESHMENT BREAK / Room Concorde16:00-17:0016:00-16:3016:30-17:00Session 6AOpen Source BusinessModelsRoom Auditorium St Exupéry6A.1 - Collaboration in Automotive:The Eclipse Automotive IndustryWorking GroupGraf Andreas - itemis Gmbh,Germany / Ralph Mueller - EclipseFoundation, Germany / IgnacioGarro, Stefan Voget - Continental,Germany / Harald Mackamul -Robert Bosch GmbH, Germany6A.2 - Polarsys, new generation ofOpen Source organization, targetslong-term availability of engineeringtools for Embedded SystemsGael Blondelle - Obeo, France/ 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îtLanglois - Thales, France / LucMaisonobe, Eric Bonnafous - CS,France / Pierre Moro - EADS SpaceTransportation, France / JorgeRodriguez - Indra, Spain / JoséManuel Puerta - TCP SI, Spain/ Björn Lundell - University ofSkövde, Sweden / Ralph Mueller -Eclipse Foundation, GermanySession 6BCase Studies in Model BasedEngineeringRoom Guillaumet6B.1 - Modeling and Validation of aData Process Unit Control for SpaceApplicationsHai Wan, Congdi Huang, YuhuiWang, Fei He, Ming Gu - Key Labof ISS of MOE, TNList, School ofSoftware, Tsinghua, China / MariusBozga - Verimag/CNRS, France6B.2 - Customization principles ofan aeronautics SLM environmentand an illustration on aeronauticsuse cases: the doors managementsystem and the flight control systemPhilippe Baufreton, FabienPaganelli - SAGEM, FranceGérard Cristau - THALES R&T,FranceOdile Laurent - AIRBUS FRANCE,FranceNikolaos Priggouris - HAI, GreeceIvo Viglietti - ALENIA SIA, ItalyStéphane Bonnet - CNRS, FranceSession 6CReuse and Product LinesRoom Ariane 16C.1 - SAVOIR: Reusing specificationsto improve the way we deliver avionicsJean-Loup Terraillon - EuropeanSpace Agency, NetherlandsSavoir Advisory Group - SAVOIRgroup represented by the EuropeanSpace Agency, Netherlands6C.2 - The product-line engineeringapproach in a model-driven processHubert Dubois, Patricia Mouy -CEA-LIST, FranceVincent Ibanez, Nicolas Meledo -THALES AVIONICS, FranceJoseph Machrouh - THALES R&T,FranceA Silva - Franhofer IESE, GermanyCristina Lopez - Tecnalia, SpainSession 6DSoftware QualimetryRoom Ariane 26D.1 - Software Qualimetryat Schneider Electric: a fieldbackgroundHervé Dondey - Schneider Electric,FranceChristophe Peron - SquoringTechnologies, France6D.2 - Model Quality Assessmentin Practice: How to Measure andAssess the Quality of SoftwareModels During the EmbeddedSoftware Development ProcessIngo Stuermer, HartmutPohlheim - Model EngineeringSolutions GmbH, Germany12

17:10-18:10 Tool SessionsSession Tool ASession Tool BSession Tool CModel Based ApproachSystem & SafetyAutomotive Functional17:10-18:10Room Auditorium St ExupéryEngineeringSafety, ISO26262Room GuillaumetRoom Ariane 117:10-17:2517:25-17:4017:40-17:55Tool A.1 - Modernizing System Development:Requirements-Based,Model-Driven Design, Implementation,and TestMichelle Lange, Bill Chown -Mentor Graphics, United StatesTool A.2 - MBSE Applied to an Aerospace‘Force Fighting’ ApplicationSandrine Loembé - DassaultSystèmes, FranceNicolas Croué - Keonys, FranceBruno Vuillemin - ALTRAN, FranceTool A.3 - Requirements and TestCase TracingDr. Joachim Wegener, Ute Herold- Berner & Mattner SytemtechnikGmbH, GermanyTool B.1 - An integrated approachto implement system engineeringand safety engineering processes:SASHA ProjectHycham Aboutaleb - KnowledgeInside - ENSTA, France - MohamedBouali, Emilia Suomalainen -Knowledge Inside, France / MorayoAdedjouma - Delphi, FranceTool B.2 - Consistent Safety Analysesin Model-Based System Engineering:Concepts and ToolsValerie Bouquet, FrederiqueVallee, Franck Sadmi, JonathanDumont - ALL4TEC, FranceTool B.3 - Systems Engineering forCyber-Physical ProductsBernard Clark - Dassault Systemes,United Kingdom13Tool C.1 - Automotive SystemsEngineering und Functional Safety:The Way ForwardAlbert Habermann, - VectorInformatik GmbH, GermanyTool C.2 - Hardware-in-the-LoopTesting of Safety-Relevant Functionsin the Context of ISO 26262Andreas Himmler - dSPACEGmbH, GermanyTool C.3 - Reduce Cost of ISO 26262Compliance while Driving ProductivityGainsMark Richardson, Mark James -LDRA, United KingdomTool A.4 - A new UML tool-basedMethodology for the Software RequirementsAnalysisThomas Weyrath, Franz Schöttl17:55-18:10 - Elektroniksystem - und Logistik-GmbH (ESG), Germany / HerbertSchreyer - Eurocopter Deutschland,Germany / Berthold Schinnerl -German armed forces, Germany19:00-23:00 Gala Evening, Pierre Baudis Congress Center, / Room CaravelleSession Tool DOperating System &ImplementationRoom Ariane 2Tool D.1 RTEL4I (Real TimeEmbedded Linux for Industries)Pierre Ficheux - Open WideIngénierie, FranceTool D.2 Unification of Safety-Critical JavaKelvin Nilsen - Atego Systems,Inc., United StatesTool D.3 Evaluation of a modelingand automatic C code generationtoolset as an open source alternativesolutionWilliam Fotso Kom, Xavier Querol- ESG Automotive France, France

09:00-10:00Programme, Friday 3 February 2012Room Auditorium Saint ExupéryKeynote address: Towards a greener and more eco efficient aerospace industryDenis CHAPUIS - VP Research and Technology of EADS, France10:00-10:30 EXHIBITION VISIT / REFRESHMENT BREAK / Room Concorde10:30-12:30Session 7AOpen-DORoom Auditorium Saint ExupérySession 7BModel Based ProcessRoom Guillaumet10:30-11:0011:00-11:3011:30-12:0012:00-12:307A.1 - Integrating Formal Program Verificationwith TestingCyrille Comar, Johannes Kanig, Yannick Moy- AdaCore, France7A.2 - Compilation of Heterogeneous Models:Motivations and ChallengesMatteo Bordin - AdaCore, FranceTonu Naks, Andres Toom - IB Krates, EstoniaMarc Pantel - IRIT-ENSEEIHT, Université deToulouse, France7A.3 - Formalization and Comparison of MCDCand Object Branch Coverage CriteriaCyrille Comar, Jérôme Guitton, OlivierHainque, Thomas Quinot - Adacore, France7A.4 - Agility & Lean for Avionic SoftwareEmmanuel Chenu - Thales Avionics, France7B.1 - Increasing intersystem functionalities validationsefficiency thanks to Model Based DesignPedro Moreno-Lahore, Yves Touzeau, OlivierGuetta - RENAULT, France7B.2 - Model-Based Engineering approach forsystem architecture explorationJulien Delange, Christophe Honvault,James Windsor - European Space Agency,Netherlands7B.3 - Use of modelling methods and tools in anindustrial embedded system project : works andfeedbackAnthony Fernandes Pires, Stéphane Duprat,Tristan Faure, Jack Beringuier, Jean-FrançoisRolland - Atos, FranceCédrik Besseyre - Airbus, France7B.4 - Formal Model Driven Engineering for SpaceOnboard SoftwareDavid Lesens - EADS Astrium SpaceTransportation, France / Eric Conquet - ESA,France / Francois-Xavier Dormoy - EsterelTechnologies, France / Iulia Dragomir, IulianOber - IRIT, France / Piotr Nienaltowski -Altran-Praxis, United Kingdom14Session 7CSoftware ImplementationRoom Ariane 17C.1 - Deterministic Execution Sequence in ComponentBased Multi-Contributor PowertrainControl SystemsDenis Claraz - Continental Automotive FranceS.A.S, Toulouse, France / Stefan Kuntz, GerhardWirrer - Continental Automotive GmbH,Regensburg, Germany / Ulrich Margull, 1mal 1 Software GmbH - Germany / MichaelNiemetz - University of Applied SciencesRegensburg, Germany7C.2 - Beyond Mutexes, Semaphores, and CriticalSectionsSerge Plagnol - Green Hills Software, France7C.3 - A lightweight, code generated and fast IPCframework for C++ based applicationsMartin Kalisch, Peter Reitinger, Stefan Bitzer- Continental Automotive Villingen, GermanyValentin Uritescu - Continental AutomotiveTimisoara, Romania7C.4 - An ASN.1 compiler for embedded/spacesystemsGeorge Mamais, Thanassis Tsiodras -Semantix, GreeceDavid Lesens - Astrium Space Transportation,FranceMaxime Perrotin - ESTEC, Netherlands

12:30-13:30 Exhibition visit/ Lunch / Room CaravellePanel Smart energy managementSession Chair: Louis Claude Vrignaud, Continental Automotive- France13:30-14:30Panelists: Jean-Luc MATé, Continental automotive - France / Etienne FOCH, Airbus - FranceJean-Luc DORMOY, EDF Group - FranceRoom Auditorium St Exupéry14:40-16:10Session 8ASafety & SecurityRoom Auditorium St ExupérySession 8BModel Based TestingRoom GuillaumetSession 8CDiagnosis & PrognosisRoom Ariane 114:40-15:1015:10-15:4015:40-16:1016:20-16:508A.1 - Security and Safety Assurance for AerospaceEmbedded SystemsPierre Bieber - Onera, France / Jean-PaulBlanquart - Astrium, France / Gilles Descargues,Gabrielle Sarouille - Thales, France / MichaelDulucq - SERMA Technologies, France /Yannick Fourastier - EADS France, France /Eric Hazane - EADS Cassidian Apsys, France/ Mathias Julien - Altran, France / LaurentLéonardon - Rockwell-Collins France8A.2 - Similarities and dissimilarities between safetylevels and security levelsJean-Paul Blanquart - Astrium Satellites,France / Pierre Bieber - Onera, France / GillesDescargues - Thales DAE, France / Eric Hazane- EADS APSYS, France / Mathias Julien - Altran,France / Laurent Leonardon - Rockwell CollinsFrance8A.3 - Secure architecture for information systemsin avionicsMaxime Lastera, Eric Alata, Jean Arlat, YvesDeswarte, David Powell - CNRS ; LAAS, France/ Bertrand Leconte - AIRBUS Operations SAS,France / Cristina Simache - ALTRAN SUDOUEST, France8B.1 - ISO 26262 Compliant Automatic Requirements-BasedTesting for TargetLink models andgenerated codeUdo Brockmeyer, Adrian Valea - BTCEmbedded Systems AG, GermanyMarkus Gros - dSPACE SARL, France8B.2 - DIVERSITY-TG: Automatic Test Case Generationfrom Matlab/Simulink modelsDiane Bahrami, Alain Faivre, Arnault Lapitre- CEA, LIST, LISE Laboratory, France8B.3 - Application of Model-Based Testing on aRailway ProjectMathieu Steiner, Anthony Faucogney, ValerieBouquet - ALL4TEC, FranceClosing session / Room Auditorium St ExupéryChristel SEGUIN, SEE/ONERA & Organising General Co-ChairFrancis GUIMERA, 3AF Midi-Pyrénées & Organising General Co-Chair158C.1 - Online model adaptation for aircraft operationalreliability assessmentKossi Tiassou, Karama Kanoun, MohamedKaaniche - LAAS-CNRS, FranceChristel Seguin - ONERA, FranceChris Papadopoulos - AIRBUS Operations Ltd,United Kingdom8C.2 - Hybrid Causal Model Based Diagnosis. Applicationto Automotive Embedded Functions.Renaud Pons, Audine Subias, Louise Travé-Massuyès - LAAS-CNRS, France

CONGRESS GENERAL CHAIRSJoseph SIFAKIS - Verimag, FranceJean BOTTI - EADS, FranceORGANIZING GENERAL CHAIRSFrancis GUIMERA - 3AF Midi-PyrénéesChristel SEGUIN - SEE /OneraPROGRAMME COMMITTEEChairperson: Joseph SIFAKIS - Verimag, FranceSCIENTIFIC COORDINATORSJean-Paul BLANQUART - Astrium Satellites, FranceMarc BOYER - Onera, FranceDenis CLARAZ - Continental Automotive, FranceClaire PAGETTI - Onera, FranceMarie-Line VALENTIN - Airbus Operations, FrancePROGRAMME COMMITTEE MEMBERSPaul ARBERET - CNES, FranceAlbert ARIBAUD - Motorola Mobility, FranceEric ARMENGAUD - AVL , AustriaPhilippe BAUFRETON - Sagem, FranceJean-Louis BERGERAND - Schneider Electric, FranceGérard BERRY - INRIA, FranceSiegfried BOCIONECK - Siemens Rail Automation, GermanyCOMMITTEESIon BOGDAN - Technical University of Iasi, RomaniaJean-Louis BOULANGER - Certifer, FranceJens BRABAND - Siemens Transportation, GermanyDuncan BROWN - Rolls-Royce, UKLionel BURGAUD - Aeroconseil, FranceAgusti CANALS - CS Communication & Systems, FranceCyrille COMAR- Adacore, FranceEric CONQUET - ESA, NetherlandsPatrick CORMERY - Astrium Space Transportation, FranceWerner DAMM - OFFIS & SafeTRANS, GermanyGilles DELEUZE - EDF, FranceFabrice DEREPAS - CEA, FranceJean-Luc DORMOY - EDF, FranceRolf ERNST - TU Braunschweig, GermanyFrancesco FLAMMINI - Ansaldo, ItalyWerner FROHLING - Flooring Technologies Ltd, MaltaPedro GIL-VICENTE - Technical University of Valencia, SpainOlivier GUETTA - Renault, FranceMichael HANEBERG - BMW Group, GermanyKlaus-Rüdiger HASE - DFeutsche Bahn, GermanyKelly HAYHURST - NASA, USAEric JENN - Thales, FranceAhmed JERRAYA - CEA, FranceMohamed KAANICHE - Laas, FranceEl Khamis KADIRI - PSA Peugeot Citroën, FranceTim KELLY - University of York, UKUwe KUEHNE - Cassidian, GermanyChidung LAC - France Telecom R&D, FranceGérard LADIER - Aerospace Valley, FranceGilles LE CALVEZ - Valeo, FranceEmmanuel LEDINOT - Dassault Aviation, France16

Yves LEDRU - Université Grenoble-1, Laboratoire d’Informatique deGrenoble, FranceKarsten LEMMER - German Aerospace Center, Institute ofTransportation Systems (Braunschweig and Berlin), GermanyBruce LEWIS - US Army, USAPeter LIGGESMEYER - Technische Universität Kaiserlautern & FraunhoferIESE, GermanyAndreas LüDTKE - OFFIS, GermanyKamel MAAZIZ - Valeo FranceZoubir MAMMERI - IRIT-UPS, FranceSteve MILLER - Rockwell-Collins, USAChristophe MORENO - Thales Alenia Space, FranceGilles MOTET - INSA, FranceJürgen MOTTOK - Regensburg University of Applied Sciences, GermanyTakashi NANYA - University of Tokyo, JapanMichael NIEMETZ - Regensburg University of Applied Sciences, GermanyPhilippe PALANQUE - IRIT, FranceFrédéric PINOT - Ansaldo STS, FranceMircea POPA - Timisoara University, RomaniaJacques PULOU - France Telecom, FranceRafael RODRIGUEZ - GTD, SpainBernhard RUMPE - RWTH Aachen University, GermanyEckehard SCHNIEDER - TU Braunschweig, GermanyThierry SEYNAEVE - ESG, FranceJean-François SICARD - DGA, FranceKoljonen TATU - Technical Research Center of FinlandPascal TRAVERSE - Airbus, FranceDidier VAN DEN ABEELE - ALSTOMFrank VAN DER LINDEN - Philips HealthcareFrançois VERNIERES - Aerospace Valley, FranceStefan VOGET - Continental Automotive, GermanyLouis-Claude VRIGNAUD - Continental Automotive, FranceSUPPORT COMMITTEEChairperson: Jean BOTTI - EADS, FranceSUPPORT COMMITTEE MEMBERSAlain CHEVALIER – Airbus Operations, FranceKarama KANOUN – Laas, FranceGerard LADIER – Aerospace Valley, FranceJean-Luc MATE – Continental Automotive, FranceLouis-Claude VRIGNAUD – Continental Automotive, FranceChristel SEGUIN – SEE/Onera, FrancePascal TRAVERSE – Airbus, FranceCommunication Chair: Laurent Mangane - 3AF, Airbus, FranceREGISTRATIONValérie ALIDOR – SEE, FranceEXHIBITION FORUMXavier SICARD – Abe, FranceORGANIZATION COMMITTEELOCAL ARRANGEMENTSJoelle STELLA-HUNEAU - 3AF, FranceAlice TORGUE – 3AF, FranceCOORDINATIONBéatrice VALDAYRON - C2b Congress, FranceCaroline ZAGO - C2b Congress, France17

GOLD SPONSORSsponsorsAdaCore provides open source tools and expertise for the development of mission-critical, safety-critical, and security-critical software. AdaCore’sflagship product is the GNAT Pro development environment that includes all tools (code coverage and profiling, code standard checker, documentationgenerator, etc.) necessary for building robust and reliable applications. Customers around the world, including major actors in the embeddedworld, trust GNAT Pro and AdaCore. See www.adacore.com for further information or contact sales@adacore.comsilver SPONSORSAirbus is the leading aircraft manufacturer offering the most modern, comprehensive and efficient passenger aircraft family on the more than 100-seat market, while its military division is the global leader for transport, tanker and surveillance airlifters ranging from three to 45 tonnes of payload.Since its creation in 1970, Airbus has sold over 10,200 aircraft. Today, some 7,000 aircraft are in operation with more than 430 customers and operators.Airbus has acquired a large expertise and is continuously carrying out research and technical activities, in particular in the field of advancedavionics systems and software. In a context of strong competition in the aeronautics domain, the techniques, methods and tools supporting the criticalembedded systems and software development are considered as key enablers. That is why Airbus is involved in different European and nationalinitiatives such as Artemis/EICOSE, IRT and in collaborative projects like TOPCASED, OPEES, CESAR, INTERESTED, Projet_P, in order to strongly push theemergence of new software architecture and techniques, of modelling approaches and integrated tools for avionics system development.Airbus is an EADS company.ESG – Dedicated to solutions. For more than fifty years, the ESG group has been a leading and innovative partner across industries as aviation, aerospace,defence and automotive. Solutions and services related to the development, integration and operation of complex electronic systems areESG‘s trademark.• As an independent technology and process consultant, ESG carries out studies and simulations for new systems and supports the managementof large projects.• As a competence centre, ESG enables its customers to access and master new technologies.• As a specialised systems company, ESG is responsible for individual modules and complete systems along their entire lifecycle.• As an expert of embedded software, ESG is able to take in charge all or part of a development of critical embedded software.With locations in Europe, America and China as well as a global network of partners, ESG works for its clients worldwide. ESG France – Centre ParisPleyel – 153 bd. Anatole France – 93521 Saint-Denis Cedex - FranceTél. +33 (0)1 55 87 05 70 – contact@esg-group.fr – www.esg-group.frINCHRON offers design and test solutions for real-time critical software in embedded systems. The INCHRON Tool-Suite enables users to developembedded systems in shorter time, at lower cost, achieving higher quality. Developers and architects model, simulate and validate the real-timebehavior of networked embedded systems accomplishing early performance analysis. For years, INCHRON’s methodologies and tools have been successfullyused in numerous projects with major OEMs and suppliers across all industries. The real-time simulator chronSIM improves in-depth understandingof the temporal behavior by highlighting e.g. timing effects on system states and data flow in various diagrams. chronVAL validation softwareanalyzes the best and worst case scenarios based on formal mathematical methods. The combination of simulation and validation gives keen insightinto the real-time behavior of embedded systems and networks. Since 2010 INCHRON and IBM are Business Partners. IBM is offering the completerange of INCHRON’s tools and services. By integrating INCHRON’s solutions with the IBM Rational software development platform, INCHRON and IBMoffer customers a unique tool suite for the development of embedded systems. The greatest improvements are with regards to model-based developmentwhere timing and performance considerations can now be taken into account at a much earlier stage of the development process.18

BRONZE SPONSORSALTRAN is the European leader in innovation and high technology consulting. The Group employs 18,000 consultants worldwide (1,700 for AL-TRAN Sud-Ouest) who represent the entire range of engineering disciplines, broken down into three major business lines: technology and R&Dconsulting; organisation and information systems consulting; and strategy and management consulting. ALTRAN works with companies throughoutthe innovation process, including technology intelligence, applied basic research, management consulting, industrial systems engineeringand information systems.ALTRAN operates in most industries, particularly the automotive, aeronautics, space and telecommunications sectors.ALTRAN is also involved in research activities and launched ALTRAN Research in January 2009 with the aim of strengthening ALTRAN’s positioningin innovation consulting. Its cross-curricular and transverse research is based on three themes that Altran believes are essential in order to tacklecomplexity: Sustainable Development (SD), Advanced Products & Solutions (APS) and Management & Performance (M&P).http://www.altran-so.fr/The French Space Agency, CNES, was founded in 1961 as a state-owned agency responsible for shaping and implementing French Space policy onnational, european and international levels. The agency’s expertise covers every aspect of space technology and its mission is to invent the spacesystems of the future.CNES deploys its resources for five types of programme: the Earth and the environment, civil applications, space sciences, security and defence andaccess to space.To accomplish its missions, CNES operates four centres which together employ more than 2400 people, engineers, technicians and administrative staff.PARTNERS19

OrganisersThe SEE (the French Electrical, Electronics, and Information &Communication Technologies Society) is a non-profit-makingscientific association, directed to the public benefit. The SEEgroups its members into 22 Technical Committees and 12 RegionalGroups, creating links between them through its Newsletterand website. SEE’s mission is to promote French science andtechnology, as well as create within these two fields meeting opportunities forindustrialists, research scientists, teachers, students and trainee engineers bothfrom France and abroad. The SEE thereby organises and co-organises events inits particular fields of competence. These professional national colloquia dealwith particular topics and prospects, as well as major international Conferences.Other events include technical visits, evening lectures and training courses.SEE • 17, rue Hamelin • 75783 PARIS Cedex 16 • FranceTel : +33 1 56 90 37 03 • Fax : +33 1 56 90 37 08• email: congres@see.asso.frThe Association Aéronautique et Astronautiquede France is the only French society of theaerospace field. AAAF is member of the InternationalCouncil of Aeronautics Sciences (ICAS), ofthe International Astronautics Federation (IAF), ofthe French Mechanics Society (AFM). The first goal of AAAF is to inform all themembers about developments in its sector of activity and to show up and topromote the work of its members. The mission of AAAF can be declined as follow:to bring together members and industrial firms, to create contacts betweenthe members themselves, to serve as a major source of information, to providemembers with a possibility to represent the members in several national or internationalsocieties, to award medals, scrolls and so on…AAAF • 6, rue Galilée • 75016 PARIS • FranceTel : +33 (0)1 56 64 12 30 – Fax : 33 (0)1 56 64 12 31• email: secr.exec@aaaf.asso.frWith the support of Aerospace Valley for the coordination of the congress organizationThe Aerospace Valley World Competitiveness Cluster allies the Midi-Pyrenees & Aquitaine regions to constitute Europe’s leading pool ofjobs in the field of aeronautics, space and embedded systems. The purpose of the Aerospace Valley cluster is to grow jobs in its regions in theaeronautics, space and embedded systems sectors. 11,000 new jobs have already been created in the last three years (INSEE figures).Embedded SystemsIn embedded systems, the cluster’s development priorities focus on:• the dependability and reliability of embedded systems at all levels (software/hardware)• performance, modularity and the quality of mechanical, electrical-IT parts and energy development• systems diagnosis and prognosis• new modes of human-system interaction and inter-systems communication• the design of smaller, less expensive and more powerful components in conjunction with Nanoinoov, a major programmeEmbedded systems also offer numerous opportunities for diversification, particularly in the areas of health, energy and home automation.See Aerospace Valey web site for more information and contact : http://www.aerospace-valley.com/en/