Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance

1. Front Matter

   PDF

2. Full Papers

   1. PH and MAP Fitting with Aggregated Traffic Traces

      • Jan Kriege, Peter Buchholz

      Pages 1-15

   2. Modeling of Loss Processes Arising from Packet Flows at Bottleneck Links

      • Natalia M. Markovich, Udo R. Krieger

      Pages 16-28

   3. A Comparative Study of Traffic Properties for Web Pages Optimized for Mobile Hand-Held and Non-mobile Devices

      • Julius Flohr, Joachim Charzinski

      Pages 29-42

   4. Construction Methods for MDD-Based State Space Representations of Unstructured Systems

      • Rüdiger Berndt, Peter Bazan, Kai-Steffen Hielscher, Reinhard German

      Pages 43-56

   5. Performance Analysis of Computing Servers — A Case Study Exploiting a New GSPN Semantics

      • Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu

      Pages 57-72

   6. Modeling and Performance Analysis of a Node in Fault Tolerant Wireless Sensor Networks

      • Ruslan Krenzler, Hans Daduna

      Pages 73-87

   7. Modeling Responsiveness of Decentralized Service Discovery in Wireless Mesh Networks

      • Andreas Dittrich, Björn Lichtblau, Rafael Rezende, Miroslaw Malek

      Pages 88-102

   8. Performance Evaluation of Forward Error Correction Mechanisms for Android Devices Based on Raptor Codes

      • Philipp M. Eittenberger, Udo R. Krieger

      Pages 103-119

   9. Evaluation of Caching Strategies Based on Access Statistics of Past Requests

      • Gerhard Hasslinger, Konstantinos Ntougias

      Pages 120-135

   10. QoE of YouTube Video Streaming for Current Internet Transport Protocols

       • Tobias Hoßfeld, Raimund Schatz, Udo R. Krieger

       Pages 136-150

   11. Increasing the Coverage of Vantage Points in Distributed Active Network Measurements by Crowdsourcing

       • Valentin Burger, Matthias Hirth, Christian Schwartz, Tobias Hoßfeld, Phuoc Tran-Gia

       Pages 151-161

   12. The 15 Commandments of Market Entrance Pricing for Differentiated Network Services: An Antagonistic Analysis of Human vs. Market

       • Patrick Zwickl, Peter Reichl, Andreas Sackl

       Pages 162-176

   13. A Framework for Establishing Performance Guarantees in Industrial Automation Networks

       • Sven Kerschbaum, Kai-Steffen Hielscher, Ulrich Klehmet, Reinhard German

       Pages 177-191

   14. Target-Specific Adaptations of Coupling-Based Software Reliability Testing

       • Matthias Meitner, Francesca Saglietti

       Pages 192-206

   15. Simulating the Energy Management on Smartphones Using Hybrid Modeling Techniques

       • Ibrahim Alagöz, Christoffer Löffler, Vitali Schneider, Reinhard German

       Pages 207-224

   16. Performance of LTE for Smart Grid Communications

       • Georgios Karagiannis, Giang T. Pham, A. Dung Nguyen, Geert J. Heijenk, Boudewijn R. Haverkort, Frans Campfens

       Pages 225-239

3. Tool Papers

   1. An IDE for the LARES Toolset

      • Alexander Gouberman, Christophe Grand, Martin Riedl, Markus Siegle

      Pages 240-254

   2. Fluid Survival Tool: A Model Checker for Hybrid Petri Nets

      • Björn F. Postema, Anne Remke, Boudewijn R. Haverkort, Hamed Ghasemieh

      Pages 255-259

   3. DelayLyzer: A Tool for Analyzing Delay Bounds in Industrial Ethernet Networks

      • Mark Schmidt, Sebastian Veith, Michael Menth, Stephan Kehrer

      Pages 260-263

This book constitutes the refereed proceedings of the 17th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault-Tolerance, MMB & DFT 2014, held in Bamberg, Germany, in March 2014. The 21 papers presented (2 invited papers, 3 tool papers and 16 full papers) were carefully reviewed and selected from numerous submissions. MMB & DFT 2014 cover all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, workflow systems, software, fault-tolerant and secure systems. The conference also featured 3 satellite workshops namely the International Workshop on Demand Modeling and Quantitative Analysis of Future Generation Energy Networks and Energy-Efficient Systems, FGENET 2014; the International Workshop on Modeling, Analysis and Management of Social Networks and their Applications, SOCNET 2014 and the 2nd Workshop on Network Calculus, WoNeCa 2014.

• fault tolerant networks
• genetic algorithm
• model checking
• multi-objective optimization
• software reliability

• Faculty of Information Systems and Applied Computer Science, Chair in Information Systems and Social Networks, Otto-Friedrich-University Bamberg, Bamberg, Germany

  Kai Fischbach

• Faculty of Information Systems and Applied Computer Sciences, Otto-Friedrich-University Bamberg, Germany

  Udo R. Krieger

Policies and ethics