Measurement, Modelling and Evaluation of Computing Systems -

. .

Résumé :
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.?

Sommaire:

Full Papers.- Time-Based Maintenance Models under Uncertainty.- Markov Automata on Discount.- Markov Analysis for Optimum Caching as an Alternative to Belady's Algorithm.- Intrusion Detection for Sequence-based Attacks with Reduced Traffic Models.- Hidden Storage in Data Centers: Gaining Flexibility Through Cooling Systems.- Performance Benchmarking of Network Function Chain Placement Algorithms.- Towards Optimal Placement of Monitoring Units in Time-varying Networks under Centralized Control.- Estimating the Flow Rule Installation Time of SDN Switches when Facing Control Plane Delay.- Dynamic Control of Running Servers.- On the Value of Service Demand Estimation for Auto-Scaling.- Evaluating a Single-Server Queue with Asynchronous Speed Scaling.- Active Queue Management Based on Congestion Policing (CP-AQM).- Deficit Round Robin with Limited Deficit Savings (DRR-LDS) for Fairness among TCP Users.- Modeling the Performance of ARQ Error Control in an LTE Transmission System.- Catching Corner Cases in Network Calculus { Flow Segregation Can Improve Accuracy.- QoE Analysis of the Setup of Different Internet Services for FIFO Server Systems.- Industrial, Practical Experience and PhD Track Papers.- VirtuWind - An SDN- and NFV-based Architecture for Softwarized Industrial Networks.- A Modular Environment to Test SCADA Solutions for Wind Parks.- Evaluation of Single-Hop Beaconing with Congestion Control in IEEE WAVE and ETSI ITS-G5.- Practical QoE Evaluation of Adaptive Video Streaming.- Tool Papers.- A Domain-Specific Language and Toolchain for Performance Evaluation based on Measurements.- SLA Tool.- A Tool for Generating Automata of IEC60870-5-104 Implementations.- A Software Tool for the Compact Solution of the Chemical Master Equation.- Logical PetriNet - A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits.- ClassCast: A Tool for Class-Based Forecasting.- Collider - Parallel Experiments in Silico.- FunSpec4DTMC { A Tool for ModellingDiscrete-Time Markov Chains Using Functional Specifications.- Model-based System Design and Evaluation of Image Processing Architectures with SimTAny Framework.