Computer Performance Engineering: 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings PDF
Preview Computer Performance Engineering: 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings
Maria Simonetta Balsamo William J. Knottenbelt Andrea Marin (Eds.) 8 6 1 Computer 8 S C Performance Engineering N L 10th European Workshop, EPEW 2013 Venice, Italy, September 2013 Proceedings 123 Lecture Notes in Computer Science 8168 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 MaxPlanckInstituteforInformatics,Saarbruecken,Germany Maria Simonetta Balsamo William J. Knottenbelt Andrea Marin (Eds.) Computer Performance Engineering 10th European Workshop, EPEW 2013 Venice, Italy, September 16-17, 2013 Proceedings 1 3 VolumeEditors MariaSimonettaBalsamo UniversitàCa’FoscaridiVenezia DipartimentodiScienzeAmbientali,InformaticaeStatistica viaTorino155,30170Venezia,Italy E-mail:[email protected] WilliamJ.Knottenbelt ImperialCollegeLondon DepartmentofComputing SouthKensingtonCampus,LondonSW72AZ,UK E-mail:[email protected] AndreaMarin UniversitàCa’FoscaridiVenezia DipartimentodiScienzeAmbientali,InformaticaeStatistica viaTorino155,30170Venezia,Italy E-mail:[email protected] ISSN0302-9743 e-ISSN1611-3349 ISBN978-3-642-40724-6 e-ISBN978-3-642-40725-3 DOI10.1007/978-3-642-40725-3 SpringerHeidelbergNewYorkDordrechtLondon LibraryofCongressControlNumber:2013946648 CRSubjectClassification(1998):C.4,D.2.7-9,C.2.1-2,C.2.4,I.6.3-6,J.2 LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering ©Springer-VerlagBerlinHeidelberg2013 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartof thematerialisconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation, broadcasting,reproductiononmicrofilmsorinanyotherphysicalway,andtransmissionorinformation storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodology nowknownorhereafterdeveloped.Exemptedfromthislegalreservationarebriefexcerptsinconnection withreviewsorscholarlyanalysisormaterialsuppliedspecificallyforthepurposeofbeingenteredand executedonacomputersystem,forexclusiveusebythepurchaserofthework.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheCopyrightLawofthePublisher’slocation, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Permissionsforuse maybeobtainedthroughRightsLinkattheCopyrightClearanceCenter.Violationsareliabletoprosecution undertherespectiveCopyrightLaw. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Whiletheadviceandinformationinthisbookarebelievedtobetrueandaccurateatthedateofpublication, neithertheauthorsnortheeditorsnorthepublishercanacceptanylegalresponsibilityforanyerrorsor omissionsthatmaybemade.Thepublishermakesnowarranty,expressorimplied,withrespecttothe materialcontainedherein. Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SpringerispartofSpringerScience+BusinessMedia(www.springer.com) Preface It is our great pleasure to present the proceedings of the 10th European Work- shop on PerformanceEngineering(EPEW 2013)that took place in Venice. The purpose of this workshopseries is to gather academic and industrial researchers workingonallaspects ofperformanceengineering.The programofEPEW2013 comprises 16 full papers and 8 short papers selected from 33 submissions. Each paper was peer reviewed by at least three reviewers from the International Pro- gram Committee (IPC); after the collection of reviews the ProgramCommittee memberscarefullydiscussedthequalityofthe papersforoneweekbeforedecid- ing aboutthe acceptance.We wouldliketherefore togivea special thanksto all the members of the IPC for the excellent work in the reviewing process and the subsequent discussion panels during the selection process. EPEW2013ishonouredtohavetwodistinguishedkeynotespeakers:Vittorio Cortellessa from the University of L’Aquila and Claudio Palazzi from the Uni- versityofPadova.Wewouldliketoexpressourgratitudefortheirparticipation. FinallywewouldliketothanktheUniversityCa’FoscariofVeniceforhosting the workshop,the EasyChairteam for havingallowedus to use their conference system and Springer for the continued editorial support of this workshopseries. September 2013 Andrea Marin Maria Simonetta Balsamo William Knottenbelt Organization Program Committee Gianfranco Balbo Universita` di Torino, Italy Simonetta Balsamo Universit`a Ca’ Foscari Venezia, Italy Marta Beltran Rey Juan Carlos University, Spain Marco Bernardo Universita` di Urbino, Italy Jeremy Bradley Imperial College London, UK Tadeusz Czachorski IITiSPAN,PolishAcademyofSciences,Poland Dieter Fiems Ghent University, Belgium Jean-Michel Fourneau Universite de Versailles St Quentin, France Stephen Gilmore University of Edinburgh, UK Richard Hayden Imperial College London, UK Andras Horvath Universit`a di Torino, Italy Helen Karatza Aristotle University of Thessaloniki, Greece William Knottenbelt Imperial College London, UK Samuel Kounev Karlsruhe Institute of Technology (KIT), Germany Catalina M. Llad´o Universitat Illes Balears, Spain Andrea Marin Universita` Ca’ Foscari Venezia, Italy Dorina Petriu Carleton University, Canada Philipp Reinecke HP Labs, Bristol, UK Sabina Rossi Universit`a Ca’ Foscari Venezia, Italy Markus Siegle Universita¨t der Bundeswehr Mu¨nchen, Germany Mark Squillante IBM Research, USA Miklos Telek Budapest University of Technology and Economics, Hungary Nigel Thomas Newcastle University, UK Mirco Tribastone Ludwig-Maximilians-Universit¨atMu¨nchen, Germany Petr Tuma Charles University, Czech Republic Maria Grazia Vigliotti Imperial College London, UK Jean-Marc Vincent Laboratoire LIG, France Katinka Wolter Freie Universitaet zu Berlin, Germany Additional Reviewers Angius, Alessio Dei Rossi, Gian-Luca Beccuti, Marco Galm´es, Sebastia` Brosig, Fabian Gouberman, Alexander VIII Organization Guenther, Marcel Riedl, Martin Jansen, David N. Rota Bul`o, Samuel Jones, Gareth Shaw, Adrian L. Krebs, Rouven Tati, Bharath Siva Kumar Milenkoski, Aleksandar Tesei, Luca Noorshams, Qais Table of Contents Invited Talks Performance Antipatterns: State-of-Art and Future Perspectives ....... 1 Vittorio Cortellessa Online Game Performance Engineering ............................. 7 Claudio E. Palazzi Full Papers Stochastic Bounds and Histograms for Network Performance Analysis ........................................................ 13 Farah A¨ıt-Salaht, Hind Castel-Taleb, Jean-Michel Fourneau, and Nihal Pekergin Analytic Performance Modeling and Optimization of Live VM Migration................................................... 28 Arwa Aldhalaan and Daniel A. Menasc´e Towards Supervisory Control of Generally-Distributed Discrete-Event Systems ........................................................ 43 Jasen Markovski Tackling Truncation Errors in CSL Model Checking through Bounding Semantics....................................................... 58 Yang Zhao and Gianfranco Ciardo Automatic Performance Model Generation for Java Enterprise Edition (EE) Applications................................................ 74 Andreas Brunnert, Christian V¨ogele, and Helmut Krcmar Canonical Representation of Discrete Order 2 MAP and RAP ......... 89 Andr´as M´esza´ros and Mikl´os Telek Encoding Timed Models as Uniform Labeled Transition Systems....... 104 Marco Bernardo and Luca Tesei A Fast EM Algorithm for Fitting Marked MarkovianArrival Processes with a New Special Structure...................................... 119 G´abor Horva´th and Hiroyuki Okamura PMIF+: Extensions to Broaden the Scope of Supported Models........ 134 Catalina M. Llad´o and Connie U. Smith X Table of Contents Performance Regression Unit Testing: A Case Study.................. 149 Vojtˇech Hork´y, Frantiˇsek Haas, Jaroslav Kotrˇc, Martin Lacina, and Petr T˚uma Phase-Type Fitting Using HyperStar ............................... 164 Philipp Reinecke, Tilman Krauß, and Katinka Wolter Towards the Quantitative Evaluation of Phased Maintenance Procedures Using Non-MarkovianRegenerative Analysis .............. 176 Laura Carnevali, Marco Paolieri, Kumiko Tadano, and Enrico Vicario Performance Enhancement by Means of Task Replication ............. 191 Peter G. Harrison and Zhan Qiu Improving and Assessing the Efficiency of the MC4CSLTA Model Checker......................................................... 206 Elvio Gilberto Amparore and Susanna Donatelli End-to-End Performance of Multi-core Systems in Cloud Environments ................................................... 221 Davide Cerotti, Marco Gribaudo, Pietro Piazzolla, and Giuseppe Serazzi Performance Analysis and Formal Verification of Cognitive Wireless Networks ....................................................... 236 Gian-Luca Dei Rossi, Lucia Gallina, and Sabina Rossi Short papers Sliding Hidden Markov Model for Evaluating Discrete Data ........... 251 Tiberiu Chis Using Queuing Models for Large System Migration Scenarios – An Industrial Case Study with IBM System z........................... 263 Robert Vaupel, Qais Noorshams, Samuel Kounev, and Ralf Reussner Performance Evaluation for Collision Prevention Based on a Domain Specific Language................................................ 276 Freek van den Berg, Anne Remke, Arjan Mooij, and Boudewijn Haverkort An Approximate Mean Value Analysis Approach for System Management and OverloadControl................................. 288 Vittoria De Nitto Person´e and Andrea Di Lonardo Table of Contents XI ModelingandTimingSimulationofAgillaAgentsforWSNApplications in Executable UML .............................................. 300 Luca Berardinelli, Antinisca Di Marco, Stefano Pace, Stefano Marchesani, and Luigi Pomante Applying Model Differences to Automate Performance-Driven Refactoring of Software Models .................................... 312 Davide Arcelli, Vittorio Cortellessa, and Davide Di Ruscio Reduction of Subtask Dispersion in Fork-Join Systems................ 325 Iryna Tsimashenka and William J. Knottenbelt SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems ........................................................ 337 Boz˙ena Wo´zna-Szcze´sniak, Agnieszka Zbrzezny, and Andrzej Zbrzezny Author Index.................................................. 351
The list of books you might like
