Complex Systems Design & Management

1. Elements of Interaction
Farhad Arbab

2. Enterprise Architecture as Language
Gary F. Simons, Leon A. Kappelman, John A. Zachman

3. Real-Time Animation for Formal Specification
Dominique Méry, Neeraj Kumar Singh

4. 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

5. SmART: An Application Reconfiguration Framework
Hervé Paulino, João André Martins, João Lourenço, Nuno Duro

6. Searching the Best (Formulation, Solver, Configuration) for Structured Problems
Antonio Frangioni, Luis Perez Sanchez

7. Information Model for Model Driven Safety Requirements Management of Complex Systems
R. Guillerm, H. Demmou, N. Sadou

8. Discrete Search in Design Optimization
Martin Fuchs, Arnold Neumaier

9. Software Architectures for Flexible Task-Oriented Program Execution on Multicore Systems
Thomas Rauber, Gudula Rünger

10. Optimal Technological Architecture Evolutions of Information Systems
Vassilis Giakoumakis, Daniel Krob, Leo Liberti, Fabio Roda

11. Practical Solution of Periodic Filtered Approximation as a Convex Quadratic Integer Program
Federico Bizzarri, Christoph Buchheim, Sergio Callegari, Alberto Caprara, Andrea Lodi, Riccardo Rovatti, Gianluca Setti

12. Performance Analysis of the Matched-Pulse-Based Fault Detection
Layane Abboud, Andrea Cozza, Lionel Pichon

13. A Natural Measure for Denoting Software System Complexity
Jacques Printz

14. Flexibility and Its Relation to Complexity and Architecture
Joel Moses

15. Formalization of an Integrated System/Project Design Framework: First Models and Processes
J. Abeille, T. Coudert, E. Vareilles, L. Geneste, M. Aldanondo, T. Roux

16. System Engineering Approach Applied to Galileo System
Steven Bouchired, Stéphanie Lizy-Destrez

17. A Hierarchical Approach to Design a V2V Intersection Assistance System
Hycham Aboutaleb, Samuel Boutin, Bruno Monsuez

18. Contribution to Rational Determination of Warranty Parameters for a New Product
Zdenek Vintr, Michal Vintr

19. Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering
Gérard Lann, Paul Simon

20. Managing the Complexity of Environmental Assessments of Complex Industrial Systems with a Lean 6 Sigma Approach
François Cluzel, Bernard Yannou, Daniel Afonso, Yann Leroy, Dominique Millet, Dominique Pareau

21. Multidisciplinary Simulation of Mechatronic Components in Severe Environments
Jérémy Lefèvre, Sébastien Charles, Magali Bosch, Benoît Eynard, Manuel Henner

22. Involving AUTOSAR Rules for Mechatronic System Design
Pascal Gouriet

23. Enterprise Methodology: An Approach to Multisystems
Dominique Vauquier

Nyckelord: Engineering, Engineering Design, Technology Management, Complexity