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

333 Pages·2010·6.07 MB·English

by  Philip Koopman, Justin Ray (auth.), Bruno Müller-Clostermann, Klaus Echtle, Erwin P. Rathgeb (eds.)

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