Aiguier / Bretaudeau / Krob Complex Systems Design & Management

Proceedings of the First International Conference on Complex Systems Design & Management CSDM 2010
1. Auflage 2010
ISBN: 978-3-642-15654-0
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 328 Seiten

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

Autoren/Hrsg.

Aiguier, Marc

Bretaudeau, Francis

Krob, Daniel

Inhaltsverzeichnis

1;Title;1
2;Preface;4
3;Conference Organization;6
4;Contents;10
5;Elements of Interaction;20
5.1;Introduction;21
5.2;Interaction Centric Concurrency;24
5.3;An Overview of Reo;28
5.4;Examples;31
5.4.1;Alternator;32
5.4.2;Sequencer;33
5.4.3;Exclusive Router;34
5.4.4;Shift-Lossy FIFO1;35
5.4.5;Dataflow Variable;35
5.4.6;Decoupled Alternating Producers and Consumer;36
5.4.7;Flexibility;37
5.5;Semantics;37
5.5.1;Timed Data Streams;37
5.5.2;Constraint Automata;39
5.5.3;Connector Coloring;39
5.5.4;Other Models;40
5.6;Tools;41
5.7;Concluding Remarks;42
5.8;References;43
6;Enterprise Architecture as Language;48
6.1;On the Verge of Major Business Re-Engineering;48
6.2;Nothing so Practical as Good Theory;49
6.3;Architecture Out of Control;51
6.4;Enterprise Architecture as a Language Problem;53
6.5;GEM: A Language for Enterprise Modeling;54
6.6;The Repository of Enterprise Models;58
6.7;Progress to Date;63
6.8;Lessons Learned;64
6.9;References;66
7;Real-Time Animation for Formal Specification;67
7.1;Introduction;67
7.2;Overview of Brama;69
7.3;Description of the Architecture;70
7.4;Applications and Case Studies;72
7.5;Conclusion and Future Work;76
7.6;References;78
8;Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain;79
8.1;Introduction;79
8.2;MATLAB Environment;80
8.2.1;SIMULINK/EMBEDDED MATLAB;80
8.2.2;SIMULINK DESIGN VERIFIER;81
8.3;Case Study;82
8.4;Formalization;83
8.4.1;Data Representation;84
8.4.2;Operators;86
8.4.3;Properties;87
8.5;Proof Methodology;88
8.6;Results Obtained;89
8.7;Conclusion;90
8.8;References;90
9;SmART: An Application Reconfiguration Framework;91
9.1;Introduction;92
9.2;An Analysis of Application Configuration Files;93
9.3;An Application Reconfiguration Framework;94
9.3.1;Original to Generic Representation (O2G);95
9.3.2;Generic to Original Representation (G2O);99
9.4;Evaluation;99
9.5;VIRTU Integration;100
9.6;Related Work;101
9.7;Conclusions and Future Work;101
9.8;References;102
10;Searching the Best (Formulation, Solver, Configuration) for Structured Problems;103
10.1;Introduction;103
10.2;Search Spaces;105
10.3;$I-DARE(control)$: Controlling the Search in the (Formulation, Solver, Configuration) Space;106
10.3.1;Objective Function Computation;107
10.3.2;Training and Meta-learning;110
10.3.3;The Overall Search Process;111
10.4;Experiments;111
10.5;Conclusions;114
10.6;References;115
11;Information Model for Model Driven Safety Requirements Management of Complex Systems;117
11.1;Introduction;117
11.2;System Engineering Approach;119
11.2.1;System Engineering Approach;119
11.2.2;EIA-632 Standard;120
11.3;Integration Approach;120
11.3.1;Integration Approach;121
11.3.2;System Design Processes;121
11.3.3;Technical Evaluation Processes;122
11.4;Information Model;123
11.4.1;Requirements Management;123
11.4.2;Supporting the Design;123
11.4.3;Requirements Modeling and Management for Safety;124
11.4.4;Proposition;125
11.4.5;The Information Model;126
11.5;Conclusion;127
11.6;References;128
12;Discrete Search in Design Optimization;130
12.1;Introduction;130
12.2;Design Optimization;132
12.3;Convex Relaxation Based Splitting Strategy;133
12.4;A Simple Solver;137
12.5;A Real-Life Application;138
12.6;References;138
13;Software Architectures for Flexible Task-Oriented Program Execution on Multicore Systems;140
13.1;Introduction;140
13.2;Programming Models with Tasks;141
13.2.1;Task Decomposition;142
13.2.2;Task Execution and Interaction;143
13.2.3;Internal and External Variables;144
13.2.4;Coordination Language;144
13.3;Software Architectures of Task-Based Programs;145
13.3.1;Task Scheduler;146
13.4;Runtime Experiments;148
13.5;Related Work;149
13.6;Conclusions;150
13.7;References;151
14;Optimal Technological Architecture Evolutions of Information Systems;153
14.1;Introduction;153
14.2;Operational Model of an Evolving Information System;154
14.2.1;Elements of Information System Architecture;154
14.2.2;Evolution of an Information System Architecture;155
14.2.3;Management of Information System Architecture Evolutions;156
14.2.4;The Information System Architecture Evolution Management Problem;156
14.3;Mathematical Programming Based Approach;157
14.3.1;Sets, Variables, Objective, Constraints;158
14.3.2;Valid Cuts from Implied Properties;161
14.4;Computational Results;162
14.5;References;164
15;Practical Solution of Periodic Filtered Approximation as a Convex Quadratic Integer Program;165
15.1;Introduction;165
15.2;Background Concepts;167
15.2.1;Problem Formalization;167
15.2.2;Modulation Algorithms;168
15.3;A $\Delta\Sigma$ Heuristic Algorithm;170
15.4;An Exact Branch-and-Bound Algorithm;171
15.5;Experimental Evaluation of the Two Approaches;173
15.6;References;175
16;Performance Analysis of the Matched-Pulse-Based Fault Detection;177
16.1;Introduction;177
16.2;The Wire Network;178
16.3;The MP Approach;178
16.4;Topological Study;179
16.4.1;Equivalent Topological Representation;179
16.4.2;Position of the Network Elements;181
16.5;Detection Gain;183
16.6;Simulation Results;185
16.6.1;Analyzed Configurations;185
16.6.2;Numerical Results;185
16.7;Conclusion;187
16.8;References;188
17;A Natural Measure for Denoting Software System Complexity;189
17.1;Introduction;189
17.2;Cyclomatic Number Measurement Considered Harmful;192
17.3;Program Text Length Measurement;194
17.4;Programmers Activity Revisited;196
17.5;Classification of Building Blocks;198
17.6;Costs of Interfaces;200
17.7;The Complexity of Integration;202
17.8;Interoperability;207
17.9;Temporary Conclusion;209
17.10;References;210
18;Flexibility and Its Relation to Complexity and Architecture;212
18.1;Flexibility;212
18.2;Generic Architectures, Flexibility and Complexity;214
18.3;Layered Human Organizations and Industries – Health Care;218
18.4;Higher Education as a Layered System;219
18.5;Hybrid Organizations – Lateral Alignment;220
18.6;Summary;220
18.7;References;221
19;Formalization of an Integrated System/Project Design Framework: First Models and Processes;222
19.1;Introduction;222
19.2;Background;224
19.2.1;Definition of Design and Planning Processes;224
19.2.2;Interaction between Design and Planning Processes;225
19.3;Proposition of an Integrated Model;226
19.3.1;System Design Module;226
19.3.2;Project Planning Module;227
19.3.3;Coupling and Monitoring Module;228
19.4;Proposition of a Simple System Creation Process;230
19.5;Conclusion and Further Studies;231
19.6;References;232
20;System Engineering Approach Applied to Galileo System;233
20.1;Introduction;233
20.2;Outline;233
20.3;Galileo System Presentation;233
20.3.1;The Space Segment;234
20.3.2;The Launch Service Segment;234
20.3.3;The Ground Segment;234
20.3.4;The Ground Mission Segment;234
20.3.5;The User Segment;235
20.4;Requirement Engineering;235
20.4.1;About Galileo Lifecycle and Stakeholders;236
20.4.2;System Prime Perimeter Evolution;236
20.4.3;Example of Boundary Evolution between System and Segment;238
20.5;Architectural Design;239
20.5.1;Functional Architecture;240
20.5.2;Physic Architecture (Interfaces Problematic);243
20.5.3;The Data-Dictionary;243
20.5.4;The “Use Cases” Database;244
20.6;Conclusion;245
21;A Hierarchical Approach to Design a V2V Intersection Assistance System;250
21.1;Introduction;250
21.1.1;Context;250
21.1.2;Motivation and Scope;251
21.2;Methodology;251
21.2.1;Overview;251
21.2.2;Resulting Transformations;252
21.3;Results;254
21.3.1;Top Level: Environment;254
21.3.2;First Level: Selecting the Vehicles;254
21.3.3;Second Level: Selecting the Pairs of Vehicles;256
21.3.4;Third Level: Identifying All the Scenarii for Each Pair of Vehicles;256
21.3.5;Fourth Level: Managing Priorities for Each Scenario;257
21.3.6;Fifth Level: Acting and Deciding;257
21.4;Advantages of Our Approach;259
21.5;Conclusion and Future Works;259
21.6;References;260
22;Contribution to Rational Determination of Warranty Parameters for a New Product;261
22.1;Introduction;261
22.2;Two-Dimensional Warranty;262
22.3;Statistical Evaluation of Customers’ Behavior Research;263
22.4;Determination of Parameters of Two-Dimensional Warranty;265
22.5;Example of Practical Usage of Proposed Procedure;268
22.5.1;Evaluation of Customers’ Behavior Research;268
22.5.2;Determination of Warranty Parameters at Limited Level of Warranty Costs;269
22.6;Conclusion;270
22.7;References;270
23;Open Interoperable Autonomous Computer-Based Systems, Systems-of-Systems and Proof-Based System Engineering;271
23.1;The OISAU Study in a Nutshell;272
23.2;Weaknesses in Current SE Practice;274
23.2.1;Requirements Capture;274
23.2.2;System Design and Validation;275
23.2.3;Feasibility and Dimensioning;276
23.2.4;Conclusions;277
23.3;Lessons Learned with OISAU;278
23.3.1;Migration from SE to PBSE Is an Evolutionary Process;278
23.3.2;“Functional versus Non Functional” Is Too Crude a Dichotomy;280
23.3.3;Existing Solutions and Companion Proofs Can Be Tapped;281
23.3.4;Nothing Specific with COTS Products;281
23.3.5;PBSE Practice Can Be Supported by Tools, in Conformance with a Methodological Standard;282
23.4;The OISAU Methodological Standard;282
23.4.1;Methodological Requirements;283
23.4.2;Matrices;284
23.5;The European Dimension;285
23.6;Technical Issues and Standards;286
23.6.1;Scenarios Worked Out;287
23.6.2;Generic Problems and Solutions, Standards and Interoperability;287
23.7;Conclusions;289
23.8;References;290
24;Managing the Complexity of Environmental Assessments of Complex Industrial Systems with a Lean 6 Sigma Approach;291
24.1;Introduction;292
24.2;How to Eco-Design Complex Industrial Systems?;292
24.2.1;Aluminium Electrolysis Substations;292
24.2.2;The Aluminium Electrolysis Substation: A Complex Industrial System;294
24.3;LCA-Based Eco-design;294
24.3.1;Eco-design Process;294
24.3.2;Life Cycle Assessment;295
24.4;Limits of the Current Eco-design Approach;295
24.4.1;Technical LCA Limits;295
24.4.2;Overall LCA and Eco-design Limits;296
24.4.3;Methodology Requirements;297
24.5;About Lean Six Sigma;297
24.5.1;Continuous Improvement and Lean Six Sigma;297
24.5.2;DMAIC Approach;298
24.5.3;Lean & Green;299
24.6;Proposition of a Meta-methodology;300
24.6.1;General Concept;300
24.6.2;A DMAIC Approach for Eco-design;301
24.6.3;Meta-methodology Deployment on Aluminium Electrolysis Substations;303
24.7;Conclusions and Perspectives;304
24.8;References;305
25;Multidisciplinary Simulation of Mechatronic Components in Severe Environments*;307
25.1;Introduction;307
25.2;Mov'eo: EXPAMTION Project;309
25.2.1;Involved Partners;309
25.2.2;Issues;309
25.2.3;Our Contribution to the Project;310
25.2.4;The Problem of FEM Code Coupling;310
25.3;Proposed Solutions;310
25.3.1;Modelica;311
25.3.2;MpCCI;311
25.3.3;STEP;312
25.3.4;The PLM Approach;313
25.4;Conclusion;315
25.5;References;315
26;Involving AUTOSAR Rules for Mechatronic System Design;317
26.1;Introduction;317
26.2;Contexts;317
26.2.1;About Concept and Components for ESC System;317
26.2.2;About Simulation and Validation Tools;319
26.3;AUTOSAR Concepts;320
26.3.1;Project Objectives;320
26.3.2;Main Working Topics;320
26.3.3;Technical Overview;321
26.3.4;AUTOSAR Authoring Tool;321
26.3.5;AUTOSAR Software Component;322
26.3.6;Benefits for Model-Based Design;324
26.4;Model-Based Design with AUTOSAR;324
26.4.1;Atomic Software for ESC System;324
26.4.2;AUTOSAR Rules for Model-Based Design;326
26.4.3;Chassis Domain Overview;327
26.5;Conclusion;327
26.6;References;328
27;Enterprise Methodology: An Approach to Multisystems;329
27.1;The Enterprise System Topology;330
27.1.1;Notion of Enterprise System;330
27.1.2;Methodological Framework;330
27.1.3;How to Describe the “Business” Reality;332
27.1.4;How to Design the IT System;334
27.1.5;Impact of This Approach on a Single System;335
27.2;The Convergence Approach;335
27.3;Conclusion;339