Contributed talks

October 29, 2010 - Contributed talks

Parallel Session 1

• Session 1.1 - Chairman: Marc Aiguier

• • 08-30-09:00 - Searching the Best (Formulation, Solver, Configuration) for Structured Problems
    Antonio Frangioni (Universita’ di Pisa, Italy) and Luis Perez-Sanchez (Universita’ di Pisa, Italy)

• • 09:00-09:30 - Optimal technological architecture evolutions of Information Systems
    Vassilis Giakoumakis (Université d’Amiens, France), Daniel Krob (Ecole Polytechnique, France), Leo Liberti (Ecole Polytechnique, France) and Fabio Roda (Ecole Polytechnique, France)

• • 09:30-10:00 - Discrete search in design optimization
    Martin Fuchs (CERFACS, France) and Arnold Neumaier (University of Vienna, Austria)

• 10:00-10:30 - Coffee Break

• Session 1.2 - Chairman: Olivier Bournez

• • 10:30-11:00 - Software architectures for flexible task-oriented program execution on multicore systems
    Thomas Raubert (University of Bayreuth, Germany) and Gudula Ruenger (Chemnitz University of Technology, Germany)

• • 11:00-11:30 - System Engineering approach applied to Galileo System
    Stéphanie Lizy-Destrez (ISAE, France) and Steven Bouchired (Thales Alenia Space, France)

• • 11:30-12:00 - The enterprise methodology - An approach to multisystems
    Dominique Vauquier (Praxeme Institute, Axa, France)

• • 12:00-12:30 - Multidisciplinary simulation of mechatronic components in severe environments
    Jérémy Lefèvre (Université Technologique de Compiègne, France), Sébastien Charles (Université de Versailles Saint-Quentin, France), Magali Bosch (Université Technologique de Compiègne, France), Benoît Eynard (Université Technologique de Compiègne, France) and Manuel Henner (Valeo, France)

• 12:30-14:00 - Lunch

• Session 1.3 - Chairman: Claude Féliot

• • 14:00-14:30 - Tools to uncouple the schedule of large complex nuclear projects from regulatory changes
    Edoardo Cavalieri D’Oro (Massachusetts Institute of Technology, USA)

• • 14:30-15:00 - Contribution to Rational Determination of Warranty Parameters for a New Product
    Zdenek Vintr (University of Defence, Czech Republic) and Michal Vintr (Brno University of Technology, Czech Republic)

• • 15:00-15:30 - Performance Analysis of the Matched-Pulse-Based Fault Detection
    Layane Abboud (Supélec, France), Andrea Cozza (Supélec, France) and Lionel Pichon (LGEP, Supélec, France)

• 15:30-16:00 - Coffee Break

• Session 1.4 - Chairman: Sylvain Peyronnet

• • 16:00-16:45 - Model-driven Architecture buildingfor constrained Systems
    Jean-Luc Voirin (Thales, France)

• • 16:45-17:30 - Using Simulink Design Verifier for proving behavioral properties on a complex safety critical system in the ground transportation domain
    Jean-Frédéric Etienne (SafeRiver, France), Stéphane Fechter (SafeRiver, France) and Juppeaux Eric (SafeRiver, France)

Parallel Session 2

• Session 2.1 - Chairman: Leo Liberti

• • 08:30-09:15 - A natural measure for denoting software system complexity
    Jacques Printz (CNAM, France)

• • 09:15-10:00 - System engineering in EADS: a comprehensive approach
    Jacques Ariel Sirat (EADS, Europe)

• 10:00-10:30 - Coffee Break

• Session 2.2 - Chairman: Oliver De Weck

• • 10:30-11:00 - Formalization of an integrated system/project design framework: First models and processes
    Joel Abeille (Pulsar Innovation, France), Thierry Courdet (Toulouse University - ENIT, France), Elise Vareiller (Toulouse University - Mines Albi - CGI, France), Laurent Geneste (Toulouse University - ENIT, France), Michel Aldanondo (Toulouse University - Mines Albi - CGI, France) and Thierry Roux (Pulsar Innovation, France)

• • 11:00-11:30 - Managing the complexity of environmental assessments of complex industrial systems with a Lean 6 Sigma approach
    François Cluzel (Ecole Centrale de Paris, France), Bernard Yannou (Ecole Centrale de Paris, France), Daniel Afonso (CUBIK Partners, France), Yann Leroy (Ecole Centrale de Paris, France), Dominique Millet (SupMéca, France) and Dominique Pareau (Ecole Centrale de Paris, France)

• • 11:30-12:00 - System requirements control & risks control: mind the gap
    Alain Cointet (RATP, France) and Catherine Laval (APTE SYSTEM, France)

• • 12:00-12:30 - Information model for model driven safety requirements management of complex systems
    Romaric Guillerm (LAAS - CNRS, France), Demmou Hamid (LAAS - CNRS, France) and Sadou Nabil (Supélec - IETR, France)

• 12:30-14:00 - Lunch

• Session 2.3 - Chairman: David Chemouil

• • 14:00-14:30 - Practical Solution of Periodic Filtered Approximation as a Convex Quadratic Integer Program
    Federico Bizzarri (ARCES, University of Bologna, Italy), Christoph Buchheim (TU Dortmund, Germany), Sergio Callegari (ARCES & DEIS, University of Bologna, Italy), Alberto Caprara (DEIS, University of Bologna, Italy), Andrea Lodi (DEIS, University of Bologna, Italy), Riccardo Rovatti (ARCES & DEIS, University of Bologna, Italy) and Gianluca Setti (ENDIF, University of Ferrara, Italy)

• • 14:30-15:00 - Involving AUTOSAR Rules for Mechatronic System Design
    Pascal Gouriet (PSA Peugeot Citroën, France)

• • 15:00-15:30 - Towards a Viewpoint-Based Framework for Reactive Systems Modeling
    Frederic Thomas (Obeo, France) and Etienne Juliot (Obeo, France)

• 15:30-16:00 - Coffee Break

• Session 2.4 - Chairman: Eric Goubault

• • 16:00-16:30 - SmART: An Application Reconfiguration Framework
    Hervé Paulino (Universidade Nova de Lisboa, Portugal), João Lourenço (Universidade Nova de Lisboa, Portugal), João Martins (Universidade Nova de Lisboa, Portugal) and Nuno Duro (Evolve Space Solutions, Portugal)

• • 16:30-17;00 - A hierarchical approach to design a V2V intersection assistance system
    Hycham Abou Taleb (Knowledge Inside, France), Samuel Boutin (Knowledge Inside, France) and Bruno Monsuez (ENSTA Paristech, France)

• • 17:00-17:30 - Real-Time Animation for Formal Specification
    Dominique Méry (Université Henri Poincaré Nancy 1 - LORIA, France) and Neeraj Singh (Université Henri Poincaré Nancy 1 - LORIA, France)