NEWS

Registration to CSDM 2010 is now (...)
[+] Read

Important: CSDM 2010 programme with (...)
[+] Read

Notifications for both industrial (...)
[+] Read

Attention: due to a huge number of (...)
[+] Read

» More

Home > Programme > Contributed talks

Contributed talks

Parallel Session 1

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: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)

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)

16:00-16:30 - Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering
Gérard Le Lann (INRIA, France) and Paul Simon (DGA, France)

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

17:00-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

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

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

09:30-10:00 - Flexibility and Its Relation to Complexity and Architecture
Joel Moses (Massachusetts Institute of Technology, USA)

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)

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)

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)