Complex Systems Design & Management

Cover13; -- Title -- Preface -- Conference Organization -- Contents -- Elements of Interaction -- Introduction -- Interaction Centric Concurrency -- An Overview of Reo -- Examples -- Alternator -- Sequencer -- Exclusive Router -- Shift-Lossy FIFO1 -- Dataflow Variable -- Decoupled Alternating Producers and Consumer -- Flexibility -- Semantics -- Timed Data Streams -- Constraint Automata -- Connector Coloring -- Other Models -- Tools -- Concluding Remarks -- References -- Enterprise Architecture as Language -- On the Verge of Major Business Re-Engineering -- Nothing so Practical as Good Theory -- Architecture Out of Control -- Enterprise Architecture as a Language Problem -- GEM: A Language for Enterprise Modeling -- The Repository of Enterprise Models -- Progress to Date -- Lessons Learned -- References -- Real-Time Animation for Formal Specification -- Introduction -- Overview of Brama -- Description of the Architecture -- Applications and Case Studies -- Conclusion and Future Work -- References -- Using Simulink Design Verifier for Proving Behavioral Properties on a Complex Safety Critical System in the Ground Transportation Domain -- Introduction -- MATLAB Environment -- SIMULINK/EMBEDDED MATLAB -- SIMULINK DESIGN VERIFIER -- Case Study -- Formalization -- Data Representation -- Operators -- Properties -- Proof Methodology -- Results Obtained -- Conclusion -- References -- SmART: An Application Reconfiguration Framework -- Introduction -- An Analysis of Application Configuration Files -- An Application Reconfiguration Framework -- Original to Generic Representation (O2G) -- Generic to Original Representation (G2O) -- Evaluation -- VIRTU Integration -- Related Work -- Conclusions and Future Work -- References -- Searching the Best (Formulation, Solver, Configuration) for Structured Problems -- Introduction -- Search Spaces -- $I-DARE(control)$: Controlling the Search in the (Formulation, Solver, Configuration) Space -- Objective Function Computation -- Training and Meta-learning -- The Overall Search Process -- Experiments -- Conclusions -- References -- Information Model for Model Driven Safety Requirements Management of Complex Systems -- Introduction -- System Engineering Approach -- System Engineering Approach -- EIA-632 Standard -- Integration Approach -- Integration Approach -- System Design Processes -- Technical Evaluation Processes -- Information Model -- Requirements Management -- Supporting the Design -- Requirements Modeling and Management for Safety -- Proposition -- The Information Model -- Conclusion -- References -- Discrete Search in Design Optimization -- Introduction -- Design Optimization -- Convex Relaxation Based Splitting Strategy -- A Simple Solver -- A Real-Life Application -- References -- Software Architectures for Flexible Task-Oriented Program Execution on Multicore Systems -- Introduction -- Programming Models with Tasks -- Task Decomposition -- Task Execution and Interaction -- Internal and External Variables -- Coordination Language -- Software Architectures of Task-Based Programs -- Task Scheduler -- Runtime Experim.