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

Ulrich Freund – ETAS, Germany Ahlem Mifdaoui, Fabrice Frances – ENSICA, France
Peter Braun – Validas, Germany Christian Fraboul – ENSEEIHT/IRIT, France
Andreas Bauer, Jan Romberg – Technical University
of Munich, Germany
Dirk Ziegenbein – Robert Bosch, Germany
11:10 Exhibition visit / Refreshment break
Session 6A: Model-Based Development Session 6B: Real Time Networks
Session Chair: Bernard Dion – Esterel Technologies, Session Chair: Pierre Malaterre – PSA Peugeot Citroën,
France France
11:40 Model driven engineering for embedded real-time systems Integration of quality of service in avionics architecture
Yann Tanguy, Sébastien Gérard, Ansgar Radermacher, Boris Sidoruk, Frédéric Boniol, Pierre Bieber, Daniel Dalla
François Terrier – CEA-List, France Barba, Guy Durrieu, Gérard Bel – ONERA-Toulouse, France
12:05 Combining model-driven design with diverse formal How OEMs and suppliers can tackle the network
verification dimensioning problem
Peter Amey – Praxis HIS, UK Kai Richter, Marek Jersak – SymTAVision, Germany
Bernard Dion – Esterel Technologies, France Rolf Ernst – Institute of Computer and Communication
Network Engineering, Germany
12:30 Model style guidelines for embedded code generation Using network calculus to optimize the AFDX network
Emmanuel Roy – The MathWorks, France Fabrice Frances – ENSICA and TéSA, France
Christian Fraboul – TéSA and ENSEEIHT/IRIT, France
Jérôme Grieu - ENSEEIHT/IRIT, France
12:55 A methodology for model based development of application Network for multimedia applications
software modules exemplified by radar based parking systems Jean-Yves Berenger, Christian Bichet – NSI, France
Andy Yap – MB-technology, Germany Francine Jeremie – Renault, France
Helmut Keller – DaimlerChrysler, Germany
13:20 Exhibition visit / Lunch
Session 7A: Development Process for Safety Session 7B : Testing
Session Chair: Jean-Paul Blanquart – EADS Astrium, France Session Chair: Stefan Voget – Siemens VDO Automotive,
Germany
14:50 The TOPCASED project: a Toolkit in OPen source for Critical Testability analysis for graphically described algorithms of
Aeronautic SystEm Design reactive systems
Pierre Gaufillet, Patrick Farail – Airbus - France Huy Vu Do, Chantal Robach – LCIS-ESISAR, France
Agusti Canals, Christophe Le Camus – CS, France Michel Delaunay – LSR-IMAG, France
David Sciamma – Anyware Technologies, France Jean-Sébastien Cruz – MBDA, France
Pierre Michel – FéRIA-ONERA, France
Xavier Cregut, Marc Pantel – FéRIA-IRIT-ENSEEIHT, France
15:15 Development of safety critical applications in the Object Oriented Framework for Test Automation
automotive domain Dietmar Peters – Siemens VDO Automotive, Germany
Sylvain Sauvage – Trialog, France
Amar Bouali – Esterel Technologies, France
15:40 Computerized system validation: Regulatory compliance Automated functional test case generation from data
and process safety in the pharmaceutical industry flow specifications using structural coverage criteria
Yves Samson – Kereon, Switzerland Christel Seguin, Guy Durrieu,Virginie Wiels – ONERA-Toulouse, France
Bruno Marre, Benjamin Blanc – CEA-List, France
Odile Laurent – Airbus, France
Abdesselam Lakehal, Ioannis Parissis – LSR-IMAG, France
16:05 ISAAC, a framework for integrated safety analyses of Testing embedded software using
functional, geometrical and human aspects simulated hardware
Ove Akerlund – Prover, Sweden Guillaume Girard, Jakob Engblom, Bengt Werner – Virtutech,
P. Bieber,C. Castel, L.Sagaspe, C. Seguin – ONERA-Toulouse, France Sweden
E. Boede, A. Lüdke, T. Peikenkamp – OFIS
M. Bolzano – IRST, Italy
M. Bretschneider,M. Forte Da Cruz, M. Frisk, S. METGE,
C. Papadopoulos, H. Trivedi – Airbus, France
A. Cavallo – Alenia, Italy
M. Cifaldi – SIA, Italy
J. Gauthier – Dassault Aviation, France
A. Griffault – Université de Bordeaux, France
O. Lisagor – York University, UK
P. Person – SAAB, Sweden
Page 4
Thursday, January 26th (continuation)
Programme – Friday, January 27th
Page 5
16:30 Exhibition visit / Refreshment break
Session 8A: Process Improvement Session 8B: Human Machine Interaction
Session Chair: Jean-Loup Terraillon – ESA/ESTEC, Session Chair: Guy Boy – EURISCO, France
The Netherlands
17:00 CMMI – An answer to the software crisis? A model-based approach towards
　
中國航空網 www.k6050.com
航空翻譯 www.aviation.cn
本文鏈接地址：航空資料30(114)