Complex Systems Design & Management

1. Front Matter

   PDF

2. Elements of Interaction

   • Farhad Arbab

   Pages 1-28

3. Enterprise Architecture as Language

   • Gary F. Simons, Leon A. Kappelman, John A. Zachman

   Pages 29-47

4. Real-Time Animation for Formal Specification

   • Dominique Méry, Neeraj Kumar Singh

   Pages 49-60

5. Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain

   • J. -F. Etienne, S. Fechter, E. Juppeaux

   Pages 61-72

6. SmART: An Application Reconfiguration Framework

   • Hervé Paulino, João André Martins, João Lourenço, Nuno Duro

   Pages 73-84

7. Searching the Best (Formulation, Solver, Configuration) for Structured Problems

   • Antonio Frangioni, Luis Perez Sanchez

   Pages 85-98

8. Information Model for Model Driven Safety Requirements Management of Complex Systems

   • R. Guillerm, H. Demmou, N. Sadou

   Pages 99-111

9. Discrete Search in Design Optimization

   • Martin Fuchs, Arnold Neumaier

   Pages 113-122

10. Software Architectures for Flexible Task-Oriented Program Execution on Multicore Systems

    • Thomas Rauber, Gudula Rünger

    Pages 123-135

11. Optimal Technological Architecture Evolutions of Information Systems

    • Vassilis Giakoumakis, Daniel Krob, Leo Liberti, Fabio Roda

    Pages 137-148

12. Practical Solution of Periodic Filtered Approximation as a Convex Quadratic Integer Program

    • Federico Bizzarri, Christoph Buchheim, Sergio Callegari, Alberto Caprara, Andrea Lodi, Riccardo Rovatti et al.

    Pages 149-160

13. Performance Analysis of the Matched-Pulse-Based Fault Detection

    • Layane Abboud, Andrea Cozza, Lionel Pichon

    Pages 161-172

14. A Natural Measure for Denoting Software System Complexity

    • Jacques Printz

    Pages 173-195

15. Flexibility and Its Relation to Complexity and Architecture

    • Joel Moses

    Pages 197-206

16. Formalization of an Integrated System/Project Design Framework: First Models and Processes

    • J. Abeille, T. Coudert, E. Vareilles, L. Geneste, M. Aldanondo, T. Roux

    Pages 207-217

17. System Engineering Approach Applied to Galileo System

    • Steven Bouchired, Stéphanie Lizy-Destrez

    Pages 219-235

18. A Hierarchical Approach to Design a V2V Intersection Assistance System

    • Hycham Aboutaleb, Samuel Boutin, Bruno Monsuez

    Pages 237-247

19. Contribution to Rational Determination of Warranty Parameters for a New Product

    • Zdenek Vintr, Michal Vintr

    Pages 249-258

20. Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering

    • Gérard Le Lann, Paul Simon

    Pages 259-278

This book contains all refereed papers that were accepted to the “Complex Systems Design & Management” (CSDM 2010) international conference that took place in Paris (France), October 27 – 29, 2010 (Website: http://www.csdm2010.csdm.fr). These proceedings covers the most recent trends in the emerging field of complex systems sciences & practices from an industrial and academic perspective, including the main industrial domains (transport, defense & security, electronics, energy & environment, health, communications & media, e-services), scientific & technical topics (systems fundamentals, systems architecture & engineering, systems metrics & quality, systemic tools) and system types (transportation systems, embedded systems, software & information systems, systems of systems, artificial ecosystems). The CSDM 2010 conference is organized under the guidance of the CESAMES non profit organization (Website: http://www.cesames.net).

• Compelx Systems Design
• Complex Systems Management
• Industrial Complexity
• Systems Engineering
• communication
• complex system
• complex systems
• complexity
• system

• Ecole Centrale de Paris, Paris, France

  Marc Aiguier

• EADS Defence & Security, Val de Reuil, France

  Francis Bretaudeau

• Ecole Polytechnique, Palaiseau, France

  Daniel Krob

Policies and ethics