Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings

Description

This book constitutes the proceedings of the 19th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2018, held in Erlangen, Germany, in February 2018. The 16 full papers, 4 PhD track papers, and 9 tool papers presented in this volume were carefully reviewed and selected from 42 submissions. They are dealing with performance and dependability evaluation techniques for computer and communication systems and its related fields. Front Matter ....Pages I-XIX Front Matter ....Pages 1-1 Time-Based Maintenance Models Under Uncertainty (Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch)....Pages 3-18 Markov Automata on Discount! (Yuliya Butkova, Ralf Wimmer, Holger Hermanns)....Pages 19-34 Markov Analysis of Optimum Caching as an Equivalent Alternative to Belady’s Algorithm Without Look-Ahead (Gerhard Hasslinger)....Pages 35-52 Intrusion Detection for Sequence-Based Attacks with Reduced Traffic Models (Benedikt Ferling, Justyna Chromik, Marco Caselli, Anne Remke)....Pages 53-67 Hidden Storage in Data Centers: Gaining Flexibility Through Cooling Systems (Robert Basmadjian, Yashar Ghiassi-Farrokhfal, Arun Vishwanath)....Pages 68-82 Performance Benchmarking of Network Function Chain Placement Algorithms (Alexej Grigorjew, Stanislav Lange, Thomas Zinner, Phuoc Tran-Gia)....Pages 83-98 Towards Optimal Placement of Monitoring Units in Time-Varying Networks Under Centralized Control (Sounak Kar, Rhaban Hark, Amr Rizk, Ralf Steinmetz)....Pages 99-112 Estimating the Flow Rule Installation Time of SDN Switches When Facing Control Plane Delay (Anh Nguyen-Ngoc, Stanislav Lange, Stefan Geissler, Thomas Zinner, Phuoc Tran-Gia)....Pages 113-126 Dynamic Control of Running Servers (Esa Hyytiä, Douglas Down, Pasi Lassila, Samuli Aalto)....Pages 127-141 On the Value of Service Demand Estimation for Auto-scaling (André Bauer, Johannes Grohmann, Nikolas Herbst, Samuel Kounev)....Pages 142-156 Evaluating a Single-Server Queue with Asynchronous Speed Scaling (Alexander Rumyantsev, Polina Zueva, Ksenia Kalinina, Alexander Golovin)....Pages 157-172 Active Queue Management Based on Congestion Policing (CP-AQM) (Michael Menth, Sebastian Veith)....Pages 173-187 Deficit Round Robin with Limited Deficit Savings (DRR-LDS) for Fairness Among TCP Users (Michael Menth, Marcel Mehl, Sebastian Veith)....Pages 188-201 Modeling the Performance of ARQ Error Control in an LTE Transmission System (Udo R. Krieger, B. Krishna Kumar)....Pages 202-217 Catching Corner Cases in Network Calculus – Flow Segregation Can Improve Accuracy (Steffen Bondorf, Paul Nikolaus, Jens B. Schmitt)....Pages 218-233 QoE Analysis of the Setup of Different Internet Services for FIFO Server Systems (Tobias Hoßfeld, Martín Varela, Poul E. Heegaard, Lea Skorin-Kapov)....Pages 234-248 Front Matter ....Pages 249-249 VirtuWind – An SDN- and NFV-Based Architecture for Softwarized Industrial Networks (Ermin Sakic, Vivek Kulkarni, Vasileios Theodorou, Anton Matsiuk, Simon Kuenzer, Nikolaos E. Petroulakis et al.)....Pages 251-261 A Modular Environment to Test SCADA Solutions for Wind Parks (Jannik Hüls, Anne Remke)....Pages 262-272 Evaluation of Single-Hop Beaconing with Congestion Control in IEEE WAVE and ETSI ITS-G5 (Thomas Deinlein, Reinhard German, Anatoli Djanatliev)....Pages 273-282 Practical QoE Evaluation of Adaptive Video Streaming (Sebastian Surminski, Christian Moldovan, Tobias Hoßfeld)....Pages 283-292 Front Matter ....Pages 293-293 A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements (Freek van den Berg, Jozef Hooman, Boudewijn R. Haverkort)....Pages 295-301 SLA Tool (Falko Bause, Peter Buchholz)....Pages 302-306 A Tool for Generating Automata of IEC60870-5-104 Implementations (Max Kerkers, Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort)....Pages 307-311 A Software Tool for the Compact Solution of the Chemical Master Equation (Tuǧrul Dayar, M. Can Orhan)....Pages 312-316 Logical PetriNet A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits (Christoph Brandau, Dietmar Tutsch)....Pages 317-321 ClassCast: A Tool for Class-Based Forecasting (Florian Heimgaertner, Thomas Sachs, Michael Menth)....Pages 322-326 Collider – Parallel Experiments in Silico (Dimitri Scheftelowitsch)....Pages 327-331 FunSpec4DTMC – A Tool for Modelling Discrete-Time Markov Chains Using Functional Specification (Frederik Hauser, Dominik Krauß, Michael Menth)....Pages 332-337 Model-Based System Design and Evaluation of Image Processing Architectures with SimTAny Framework (Anna Deitsch, Vitali Schneider)....Pages 338-342 Back Matter ....Pages 343-344