Lecture Notes in Computer Science 5987 CommencedPublicationin1973 FoundingandFormerSeriesEditors: GerhardGoos,JurisHartmanis,andJanvanLeeuwen EditorialBoard DavidHutchison LancasterUniversity,UK TakeoKanade CarnegieMellonUniversity,Pittsburgh,PA,USA JosefKittler UniversityofSurrey,Guildford,UK JonM.Kleinberg CornellUniversity,Ithaca,NY,USA AlfredKobsa UniversityofCalifornia,Irvine,CA,USA FriedemannMattern ETHZurich,Switzerland JohnC.Mitchell StanfordUniversity,CA,USA MoniNaor WeizmannInstituteofScience,Rehovot,Israel OscarNierstrasz UniversityofBern,Switzerland C.PanduRangan IndianInstituteofTechnology,Madras,India BernhardSteffen TUDortmundUniversity,Germany MadhuSudan MicrosoftResearch,Cambridge,MA,USA DemetriTerzopoulos UniversityofCalifornia,LosAngeles,CA,USA DougTygar UniversityofCalifornia,Berkeley,CA,USA GerhardWeikum Max-PlanckInstituteofComputerScience,Saarbruecken,Germany Bruno Müller-Clostermann Klaus Echtle Erwin P. Rathgeb (Eds.) Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th International GI/ITG Conference, MMB&DFT 2010 Essen, Germany, March 15-17, 2010 Proceedings 1 3 VolumeEditors BrunoMüller-Clostermann UniversityofDuisburg-Essen InstituteforComputerScience andBusinessInformationSystems SystemsModellingGroup Schützenbahn70,45127Essen,Germany E-mail:[email protected] KlausEchtle UniversityofDuisburg-Essen InstituteforComputerScience andBusinessInformationSystems DependabilityofComputingSystemsGroup Schützenbahn70,45127Essen,Germany E-mail:[email protected] ErwinP.Rathgeb UniversityofDuisburg-Essen InstituteforExperimentalMathematics ComputerNetworkingTechnologyGroup Ellernstr.29,45326Essen,Germany E-mail:[email protected] LibraryofCongressControlNumber:2010922318 CRSubjectClassification(1998):C.2,C.4,C.1,D.2.8,D.2,D.4.8,D.4 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ISSN 0302-9743 ISBN-10 3-642-12103-9SpringerBerlinHeidelbergNewYork ISBN-13 978-3-642-12103-6SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. springer.com ©Springer-VerlagBerlinHeidelberg2010 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper 06/3180 Preface This volume contains the papers presented at the International GI/ITG Con- ference on “Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault Tolerance,” held during March 15–17, 2010 in Essen, Germany, hosted by the University of Duisburg-Essen. The Technical CommitteesofMMBandDFTcoverallaspectsofperformanceanddependabil- ityevaluationofsystemsincludingnetworks,computerarchitectures,distributed systems, software, fault-tolerant and secure systems. In 2010, both committees joined forces in a common conference MMB & DFT 2010. This current confer- ence was the 15th in a series of biannual conferences, initially started in 1981, with previous editions in Aachen, Dresden, Nuremberg and Dortmund. MMB & DFT 2010 received 42 submissions (37 regular papers and 5 tool descriptions) by authors from 15 different countries. Each regular paper was reviewed by at least three (and up to five) Program Committee members and external reviewers; tool papers were reviewed by two reviewers. In total we re- ceived158reviewsandtheProgramCommitteedecidedtoaccept19fullpapers and 5 tool papers. TheprogramwascompletedbytwoinvitedtalksandwewerehappythatPhil Koopmanfrom Carnegie Mellon University and PaulKu¨hn from the University of Stuttgart accepted to give an invited talk at the conference. We are grateful to all those involved in organizing the conference, to the speakersandthe attendees ofMMB & DFT 2010.Our deepestthanks gotothe many Program Committee members and the external reviewers for their very thorough and diligent opinions contributing to the high scientific standard of the MMB conference series. We also appreciate the support of EasyChair for managing the processes of submission, reviewing and preparing the production of the proceedings. January 2010 Bruno Mu¨ller-Clostermann Klaus Echtle Erwin Rathgeb Organization MMB & DFT 2010 was organized by the Institute of Computer Science and Business Information Systems, University of Duisburg-Essen, Germany. Organizing Committee ProgramChairs Bruno Mu¨ller-Clostermann Klaus Echtle Erwin Rathgeb Tools Chair Andreas Pillekeit Program Committee Falko Bause Technical University of Dortmund Lothar Breuer University of Kent Peter Buchholz Technical University of Dortmund Georg Carle Technical University of Munich Joachim Charzinski Nokia Siemens Networks Hans Daduna University of Hamburg Hermann de Meer University of Passau Thomas Dreibholz University of Duisburg-Essen Reinhard German University of Erlangen Kurt Geihs University of Kassel Carmelita Go¨rg University of Bremen Karl-ErwinGroßpietsch Fraunhofer-Gesellschaft, IAIS Franz Hartleb T-Systems, Darmstadt Gerhard Haßlinger T-Systems, Darmstadt Boudewijn Haverkort ESI Eindhoven and University of Twente Armin Heindl University of Erlangen-Nuremberg Holger Hermanns University of Saarbru¨cken Joost-Pieter Katoen RWTH Aachen University J¨org Keller FernUniversita¨t in Hagen Udo Krieger University of Bamberg Matthias Kuntz University of Konstanz Wolfram Lautenschla¨ger Alcatel-Lucent Axel Lehmann University of the Armed Forces, Munich Ralf Lehnert Technical University of Dresden Philipp Limbourg University of Duisburg-Essen Christoph Lindemann University of Leipzig Erik Maehle University of Lu¨beck Michael Menth University of Wu¨rzburg Andreas Mitschele-Thiel Technical University of Ilmenau VIII Organization Martin Paterok Deutsche Bahn AG Peter Reichl Research Center Telecommunication, Vienna Johannes Riedl Siemens AG Oliver Rose Technical University of Dresden Francesca Saglietti University of Erlangen-Nuremberg Werner Sandmann Technical University of Clausthal Andreas Schmietendorf Berlin School of Economics and Law Jens Schmitt Technical University of Kaiserslautern Markus Siegle University of the Armed Forces, Munich Helena Szczerbicka University of Hannover Aad van Moorsel University of Newcastle Max Walter Technical University of Munich Bernd Wolfinger University of Hamburg Katinka Wolter Humboldt-University Berlin Armin Zimmermann Technical University of Ilmenau Additional Reviewers Esam Alnasouri Technical University of Ilmenau Sebastian Bohlmann University of Hannover Henrik Bohnenkamp RWTH Aachen University Christian Brosch Technical University of Ilmenau Le Phu Do Technical University of Dresden Martin Drozda University of Hannover Martin Franzke T-Systems, Darmstadt Dirk Haage Technical University of Munich Ernst Moritz Hahn University of Saarbru¨cken Arnd Hartmanns University of Saarbru¨cken Stephan Heckmu¨ller University of Hamburg Robert Henjes University of Wu¨rzburg Mohamed Kalil Technical University of Ilmenau Dominik Klein University of Wu¨rzburg Andreas Klenk Technical University of Munich Andrey Kolesnikov University of Hamburg Xi Li University of Bremen Gerhard Mu¨nz Technical University of Munich David Parker RWTH Aachen University Volker Richter Technical University of Dresden Martin Riedl University of the Armed Forces, Munich Markus Schmid University of Kassel Johann Schuster University of the Armed Forces, Munich Hendrik Skubch Technical University of Kassel Samer Sulaiman Technical University of Dresden Abutaleb Turky Technical University of Ilmenau Patrick Wuechner University of Passau Thomas Zinner University of Wu¨rzburg Table of Contents Invited Talks Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways ............................................... 1 Philip Koopman and Justin Ray Green IT - The Power Saving Challenge and ICT Solutions ........... 2 Paul J. Ku¨hn In Memoriam: Eulogy on Gunter Bolch In Memory of Dr. Gunter Bolch.................................... 3 Martin Paterok, Hermann de Meer, and Patrick Wu¨chner Full Papers Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration .............. 8 Klaus Echtle and Thorsten Kimmeskamp SoftwareReliabilityAssessmentBasedontheEvaluationofOperational Experience ...................................................... 24 Sven S¨ohnlein, Francesca Saglietti, Frank Bitzer, Matthias Meitner, and Siegfried Baryschew Clock Synchronization Issues in Multi-Cluster Time-Triggered Networks ....................................................... 39 Klaus Echtle and Soubhi Mohamed User-Perceived Performance of the NICE Application Layer Multicast Protocol in Large and Highly Dynamic Groups ...................... 62 Christian Hu¨bsch, Christoph P. Mayer, and Oliver P. Waldhorst Effectiveness of Link Cost Optimization for IP Rerouting and IP Fast Reroute......................................................... 78 David Hock, Matthias Hartmann, Christian Schwartz, and Michael Menth Load Modeling and Generation for IP-Based Networks: A Unified Approach and Tool Support....................................... 91 Andrey Kolesnikov and Martin Kulas X Table of Contents Analyzing Energy Consumption in a Gossiping MAC Protocol......... 107 Haidi Yue, Henrik Bohnenkamp, and Joost-Pieter Katoen Defining and Measuring Performance Characteristics of Current Video Games.......................................................... 120 Till Fischer, Axel Bo¨ttcher, Aaron Coday, and Helena Liebelt Traffic Properties, Client Side Cachability and CDN Usage of Popular Web Sites....................................................... 136 Joachim Charzinski Investigation of the Multimedia Adaptive Threshold Strategy for Mobile Integrated Services Networks ............................... 151 Vittoria de Nitto Person`e, Andreas Pillekeit, and Matteo Iacari Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks ....................................................... 168 Anne Remke, Boudewijn R. Haverkort, Geert Heijenk, and Jesper Bax CrossTrace: Cross-Layer Measurement for IEEE 802.11 Wireless Testbeds........................................................ 183 Simon Frohn, Sascha Gu¨bner, and Christoph Lindemann The Total Overflow during a Busy Cycle in a Markov-Additive Finite Buffer System ................................................... 198 Lothar Breuer Accuracy of Strong and Weak Comparisons for Network of Queues ..... 212 Hind Castel-Taleb and Nihal Pekergin Searching for Tight Performance Bounds in Feed-ForwardNetworks .... 227 Andreas Kiefer, Nicos Gollan, and Jens B. Schmitt An EM Algorithm for Markovian Arrival Processes Observed at Discrete Times .................................................. 242 Lothar Breuer and Alfred Kume An Empirical Comparisonof MAP Fitting Algorithms................ 259 Jan Kriege and Peter Buchholz Reducing the Cost of Generating APH-Distributed Random Numbers........................................................ 274 Philipp Reinecke, Miklo´s Telek, and Katinka Wolter Correctness Issues of Symbolic Bisimulation Computation for Markov Chains ......................................................... 287 Ralf Wimmer and Bernd Becker Table of Contents XI Tool Papers ResiLyzer: A Tool for Resilience Analysis in Packet-Switched Communication Networks......................................... 302 David Hock, Michael Menth, Matthias Hartmann, Christian Schwartz, and David Stezenbach SyLaGen – An Extendable Tool Environment for Generating Load .... 307 Michael Striewe, Moritz Balz, and Michael Goedicke ProFiDo – A Toolkit for Fitting Input Models ....................... 311 Falko Bause, Philipp Gerloff, and Jan Kriege ProC/B for Networks: Integrated INET Models...................... 315 Sebastian Vastag DELTA: A Web-Based Simulation Training Environment Using JavaDEMOS .................................................... 319 Sascha Geeren, Falk Hoppe, Axel Langhoff, Bruno Mu¨ller-Clostermann, and Andreas Pillekeit Author Index.................................................. 323