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