曝光臺 注意防騙 網曝天貓店富美金盛家居專營店坑蒙拐騙欺詐消費者

Moderators:
Gérard Ladier – Airbus, France
Jean-Luc Maté – Siemens VDO, France
Panelists:
Jürgen Bortolazzi – Head of Comfort Electronics Department, DaimlerChrysler, Germany
Dario Louarduzzi – Avionics Product Manager, Airbus, France
Jean Leflour – General Manager, Electronic and Electrical Architecture and Systems, PSA Peugeot Citroën, France
Marc Fumey – A380-IMA Design Authority, Thalès Avionics, France
Session 2A: Formal Static Analysis Session 2B: UML in Practice
Session Chair: Christel Seguin – ONERA, France Session Chair: Luc Bourgeois – Renault, France
15:30 Formal verification by abstract interpretation AUTOSAR and SysML – a natural fit
Patrick Cousot – Ecole Normale Supérieure, France Andreas Korff – ARTiSAN Software Tools,Germany
Radhia Cousot – Ecole Polytechnique, France
15:55 Formal verification workbench for airbus avionics software Modelling distributed integrated modular systems
Stéphane Duprat – Atos Origin using the UML™ and the SysML™
Jean Souyris, Denis Favre-Felix – Airbus, France Matthew Hause, Francis Thom – ARTiSAN Software Tools, UK
16:20 Incremental validation of real-time systems EDROOM: a free tool for the UML2 component based design
David Doose, Zoubir Mammeri – IRIT, France and automatic code generation of tiny embedded real
time system.
Aitor Viana Sánchez, Oscar Rodriguez Polo, Oscar Lopez,
Martín Knoblauch Revuelta, Sebastian Sanchez Prieto, Daniel
Meziat Luna – University of Alcala, Spain
16:45 Exhibition visit / Refreshment break
Session 3A: Formal Development Session 3B: UML and Verification
Session Chair: Gilles Motet – INSA, France Session Chair: Philippe Germanicus – Valeo, France
17:15 B-RAIL: Risk analysis and specification Formal and efficient verification techniques for Real-Time
Jean-Louis Boulanger – UTC, France UML models
Pierre de Saqui-Sannes,
Tarek Sadani – ENSICA and LAAS-CNRS, France
Jean-Pierre Courtiat – LAAS-CNRS, France
17:40 Vital software: Formal method and coded processor UML inconsistencies assessment
Daniel Dollé – Siemens Transportation Systems, Jean-Pierre Seuma Vidal, Roberto Lopez Toro
France Hugues Malgouyres, Gilles Motet – LESIA / INSA, France
18:05 Formal verification of manual code: some industrial needs Bridging UML and safety-critical software development
and recommendations environments
Emmanuel Ledinot, Dillon Pariente – Dassault Aviation, Bernard Dion, Alain Le Guennec – Esterel Technologies,
France France
18:30 Cocktail party at the exhibition
The organisers reserve the right to make changes to the programme should they be deemed necessary
Programme – Wednesday, January 25th
Programme – Thursday, January 26th
8:30 Keynote address
Formal Analysis for Embedded Real Time Systems
John Rushby – Program Director for Formal Methods and Dependable Systems,
Computer Science Laboratory, SRI International, USA
Session Chair: Gérard Ladier – Airbus, France
Session 4A: Model Checking Session 4B: WCET Assessment
Session Chair: Didier Juvin – CEA-LIST, France Session Chair: Pascal Duch – Siemens Transportation
Systems, France
9:30 Experiences in using model checking to verify real time Verifying timing properties of safety-critical embedded
properties of a landing gear control system software by abstract interpretation
Virginie Wiels, Frédéric Boniol – ONERA/CERT, France Christian Ferdinand, Reinhold Heckmann – AbsInt
Emmanuel LEDINOT – Dassault Aviation, France Angewandte Informatik, Germany
9:55 Formal verification techniques in a model-based development OTAWA, a framework for experimenting WCET computations
process based on targetlink generated C-code Hugues Cassé, Pascal Sainrat – IRIT, France
Tom Bienmueller,Guido Sandmann, Udo Brockmeyer
OSC-Embedded Systems, Germany
Michael Beine – dSPACE, Germany
Session 5A: Model Transformation Session 5B: Timeliness Assessment
Session Chair: Session Chair:
10:20 Towards the verification of model transformations Experimentation of timed observers for validation
David Chemouil – CNES, France of an avionics software
Jean-Paul Bodeveix, Mamoun Filali, Hugues Bonnin, Eric Saves, Julien Honnore – CS-SI, France
Nicolas Lalevée – FéRIA, France Philippe Dhaussy, Jean Charles Roger – ENSIETA, France
10:45 AutoMoDe – A transformation based approach for the Real-time guarantees on full-duplex switched ethernet for
model-based design of embedded automotive software military applications
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料30(113)