Systems Modeling: Methodologies and Tools (EAI/Springer Innovations in Communication and Computing)

"This book covers ideas, methods, algorithms, and tools for the in-depth study of the performance and reliability of dependable fault-tolerant systems. The chapters identify the current challenges that designers and practitioners must confront to ensure the reliability, availability, and performance of systems, with special focus on their dynamic behaviors and dependencies. Topics include network calculus, workload and scheduling; simulation, sensitivity analysis and applications; queuing networks analysis; clouds, federations and big data; and tools. This collection of recent research exposes system researchers, performance analysts, and practitioners to a spectrum of issues so that they can address these challenges in their work."-- Provided by publisher Front Matter ....Pages i-vii Systems Modelling: Methodologies and Tools (Antonio Puliafito, Kishor S. Trivedi)....Pages 1-7 Front Matter ....Pages 9-9 SMVA: A Stable Mean Value Analysis Algorithm for Closed Systems with Load-Dependent Queues (Lei Zhang, Douglas G. Down)....Pages 11-28 Dispatching Discrete-Size Jobs with Multiple Deadlines to Parallel Heterogeneous Servers (Esa Hyytiä, Rhonda Righter, Olivier Bilenne, Xiaohu Wu)....Pages 29-46 Modelling and Efficient Solution of Multiple-Phased Systems (Elvio Gilberto Amparore, Susanna Donatelli)....Pages 47-61 Deterministic Network Calculus Analysis of Multicast Flows (Steffen Bondorf, Fabien Geyer)....Pages 63-78 Modeling Techniques for Pool Depletion Systems (Davide Cerotti, Marco Gribaudo, Riccardo Pinciroli, Giuseppe Serazzi)....Pages 79-94 Performance of a Single Server Queue Supported by an Intermittent Server (Raymond A. Marie)....Pages 95-113 Simulation from the Tail of the Univariate and Multivariate Normal Distribution (Zdravko Botev, Pierre L’Ecuyer)....Pages 115-132 Front Matter ....Pages 133-133 A Comparison of Markov Reward Based Resource-Latency Aware Heuristics for the Virtual Network Embedding Problem (Francesco Bianchi, Francesco Lo Presti)....Pages 135-149 Delay Efficient Load Balancing Scheme for Component Carrier Selection in Carrier Aggregation in LTE-A (Aditi Gupta, Dharmaraja Selvamuthu, Subrat Kar)....Pages 151-163 Modeling Security Requirements for VNE Algorithms: A Practical Approach (Ramona Kühn, Andreas Fischer, Hermann de Meer)....Pages 165-179 Performance Analysis of Data Traffic in Small Cells Networks with User Mobility (Philippe Olivier, Florian Simatos, Alain Simonian)....Pages 181-197 Front Matter ....Pages 199-199 A Technique to Identify Data Exchange Between Cloud Virtual Machines (Nicola Bicocchi, Claudia Canali, Riccardo Lancellotti)....Pages 201-219 Container Orchestration: A Survey (Emiliano Casalicchio)....Pages 221-235 A Cloud-Based Overlay Networking for the Internet of Things: Quantitative Evaluation (Dario Bruneo, Salvatore Distefano, Francesco Longo, Giovanni Merlino, Antonio Puliafito)....Pages 237-250 Front Matter ....Pages 251-251 Markovian Performance Evaluation with BuTools (Gábor Horváth, Miklós Telek)....Pages 253-268 J2CBROKER as a Service: A Service Broker Simulation Tool Integrated in OpenStack Environment (Riccardo Di Pietro, Maurizio Giacobbe, Carlo Puliafito, Marco Scarpa)....Pages 269-285 A Software Tool for the Evaluation of Transient Removal Methods in Discrete Event Stochastic Simulations (Sushma Nagaraj, Armin Zimmermann)....Pages 287-301 A House Appliances-Level Co-simulation Framework for Smart Grid Applications (Abdalkarim Awad, Peter Bazan, Reinhard German)....Pages 303-317 Back Matter ....Pages 319-323