Maria Carla Calzarossa – författare

This book constitutes the post proceedings of the 28th International Symposium on Modelling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS 2020, held online -due to COVID -19- in Nice, France, in November 2020. The 17 full papers presented were carefully reviewed and selected from 124 submissions.The symposium collected the most relevant papers describing state-of-the-art research in the areas of the performance evaluation of computer systems and networks as well as in related areas.

This volume is dedicated largely to the performance-oriented design of modern computernetworks,bothwiredandwireless. ItistheconsequenceoftheTutorial Session which was held on 12th October 2003, preceeding the IEEE Computer Society's Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, held in Orlando, Florida. In addition to the core tutorialpresentations,whichcoveredbothadvancesinnetworkqualityofservice (QoS) and in performance evaluation methodology, we felt that it would be useful to assemble a volume in the Lecture Notes in Computer Science series which would also include speci?c application areas of performance modeling and measurements. Thus the current volume includes three parts: - a ?rst part that speci?cally addresses performance and QoS of modern wired and wireless networks; - a second one that discusses current advances in performance modeling and simulation; and - a ?nal part that addresses other speci?c applications of these methodologies. The network-oriented portion of the volume itself comprises three complem- tary topics: - a ?rst group of chapters deals with novel designs and new issues related to broad-based network performance and QoS, without limitations concerning the connection technologies that are being used; - a second group addresses the wireless context; and - a ?nal grouping of contributions considers the topic of wireless ad hoc n- worksmorespeci?cally. The part of the volume dealing with methodologies discusses the software s- ci?cation of models, the use of certain formalisms such as Petri nets, and some recent advances in simulation. Finally, the third part of the volume discusses other performance applications related to scheduling and to speci?c architec- res.

Thefastevolutionandtheincreasedpervasivenessofcomputersandcom- nicationnetworkshaveledtothedevelopmentofalargevarietyofcomplex applicationsandserviceswhichhavebecomeanintegralpartofourdailylives. Modernsocietywidelyreliesoninformationtechnologies. Hence,theQuality ofService,thatis,thee?ciency,availability,reliability,andsecurityofthese technologies,isanessentialrequirementfortheproperfunctioningofmodern society. Inthisscenario,performanceevaluationplaysacentralrole. Performance evaluationhastoassessandpredicttheperformanceofhardwareandsoftware systems,andtoidentifyandpreventtheircurrentandfutureperformancebo- lenecks. Inthepastthirtyyears,manyperformanceevaluationtechniquesandtools havebeendevelopedandsuccessfullyappliedinstudiesdealingwiththec- ?gurationandcapacityplanningofexistingsystemsandwiththedesignand developmentofnewsystems. Recently,performanceevaluationtechniqueshave evolvedtocopewiththeincreasedcomplexityofthecurrentsystemsandtheir workloads. Manyoftheclassicaltechniqueshavebeenrevisitedinlightofthe recenttechnologicaladvances,andnoveltechniques,methods,andtoolshave beendeveloped.Thisbookisorganizedaroundasetofsurveypaperswhichprovideac- prehensiveoverviewofthetheories,techniques,andtoolsforperformanceand reliabilityevaluationofcurrentandnewemergingtechnologies. Thepapers,by leadinginternationalexpertsinthe?eldofperformanceevaluation,arebasedon thetutorialspresentedattheIFIPWG7. 3InternationalSymposiumonCom- terModeling,Measurement,andEvaluation(Performance2002)heldinRome onSeptember23-27,2002. Thepapersaddressthestateoftheartofthetheoreticalandmethodological advancesintheareaofperformanceandreliabilityevaluationaswellasnew perspectivesinthemajorapplicationdomains. Abroadspectrumoftopicsis coveredinthisbook. Modelingandveri?cationformalisms,solutionmethods, workloadcharacterization,andbenchmarkingareaddressedfromametho- logicalpointofview. Applicationsofperformanceandreliabilitytechniquesto variousdomains,suchas,hardwareandsoftwarearchitectures,wiredand- relessnetworks,Gridenvironments,Webservices,real-timevoiceandvideo applications,arealsoexamined. Thisbookisintendedtoserveasareferenceforstudents,scientists,and- gineersworkingintheareasofperformanceandreliabilityevaluation,hardware andsoftwaredesign,andcapacityplanning.VI Preface Finally,aseditorsofthebook,wewouldliketothankallauthorsfortheir valuablecontributionsandtheire?ortandcooperationinthepreparationof theirmanuscripts. July2002 MariaCarlaCalzarossa SalvatoreTucci TableofContents G-Networks:MultipleClassesofPositiveCustomers,Signals,and ProductFormResults ...1 ErolGelenbe SpectralExpansionSolutionsforMarkov-ModulatedQueues ...17 IsiMitrani M/G/1-TypeMarkovProcesses:ATutorial ...36 AlmaRiska,EvgeniaSmirni AnAlgorithmicApproachtoStochasticBounds ...64 J. M. Fourneau,N. Pekergin DynamicSchedulingviaPolymatroidOptimization...89 DavidD. Yao WorkloadModelingforPerformanceEvaluation...114 DrorG. Feitelson CapacityPlanningforWebServices(TechniquesandMethodology) ...142 VirgilioA. F. Almeida End-to-EndPerformanceofWebServices ...158 PaoloCremonesi,GiuseppeSerazzi Benchmarking...179 ReinholdWeicker BenchmarkingModelsandToolsforDistributedWeb-ServerSystems...208 MauroAndreolini,ValeriaCardellini,MicheleColajanni StochasticProcessAlgebra:FromanAlgebraicFormalismtoan ArchitecturalDescriptionLanguage ...236 MarcoBernardo,LorenzoDonatiello,PaoloCiancarini AutomatedPerformanceandDependabilityEvaluationUsingModel Checking ...261 ChristelBaier,BoudewijnHaverkort,HolgerHermanns, Joost-PieterKatoen Measurement-BasedAnalysisofSystemDependabilityUsingFault InjectionandFieldFailureData ...290 RavishankarK. Iyer,ZbigniewKalbarczyk VIII TableofContents SoftwareReliabilityandRejuvenation:ModelingandAnalysis...318 KishorS. Trivedi,KalyanaramanVaidyanathan PerformanceValidationofMobileSoftwareArchitectures ...346 VincenzoGrassi,VittorioCortellessa,Ra?aelaMirandola PerformanceIssuesofMultimediaApplications ...374 EdmundodeSouzaeSilva,RosaM. M. Le"ao,BerthierRibeiro-Neto, S'ergioCampos MarkovianModelingofRealDataTra?c:HeuristicPhaseTypeand MAPFittingofHeavyTailedandFractalLikeSamples...405 Andr'asHorv'ath,Mikl'osTelek OptimizationofBandwidthandEnergyConsumptioninWireless LocalAreaNetworks ...435 MarcoConti,EnricoGregori ServiceCentricComputing-27,2002. Thepapersaddressthestateoftheartofthetheoreticalandmethodological advancesintheareaofperformanceandreliabilityevaluationaswellasnew perspectivesinthemajorapplicationdomains. Abroadspectrumoftopicsis coveredinthisbook. Modelingandveri?cationformalisms,solutionmethods, workloadcharacterization,andbenchmarkingareaddressedfromametho- logicalpointofview.Applicationsofperformanceandreliabilitytechniquesto variousdomains,suchas,hardwareandsoftwarearchitectures,wiredand- relessnetworks,Gridenvironments,Webservices,real-timevoiceandvideo applications,arealsoexamined. Thisbookisintendedtoserveasareferenceforstudents,scientists,and- gineersworkingintheareasofperformanceandreliabilityevaluation,hardware andsoftwaredesign,andcapacityplanning. VI Preface Finally,aseditorsofthebook,wewouldliketothankallauthorsfortheir valuablecontributionsandtheire?ortandcooperationinthepreparationof theirmanuscripts. July2002 MariaCarlaCalzarossa SalvatoreTucci TableofContents G-Networks:MultipleClassesofPositiveCustomers,Signals,and ProductFormResults ...1 ErolGelenbe SpectralExpansionSolutionsforMarkov-ModulatedQueues ...17 IsiMitrani M/G/1-TypeMarkovProcesses:ATutorial ...36 AlmaRiska,EvgeniaSmirni AnAlgorithmicApproachtoStochasticBounds ...64 J. M. Fourneau,N. Pekergin DynamicSchedulingviaPolymatroidOptimization...89 DavidD. Yao WorkloadModelingforPerformanceEvaluation...114 DrorG. Feitelson CapacityPlanningforWebServices(TechniquesandMethodology) ...142 VirgilioA. F. Almeida End-to-EndPerformanceofWebServices ...158 PaoloCremonesi,GiuseppeSerazzi Benchmarking...179 ReinholdWeicker BenchmarkingModelsandToolsforDistributedWeb-ServerSystems...208 MauroAndreolini,ValeriaCardellini,MicheleColajanni StochasticProcessAlgebra:FromanAlgebraicFormalismtoan ArchitecturalDescriptionLanguage ...236 MarcoBernardo,LorenzoDonatiello,PaoloCiancarini AutomatedPerformanceandDependabilityEvaluationUsingModel Checking ...261 ChristelBaier,BoudewijnHaverkort,HolgerHermanns, Joost-PieterKatoen Measurement-BasedAnalysisofSystemDependabilityUsingFault InjectionandFieldFailureData ...290 RavishankarK. Iyer,ZbigniewKalbarczyk VIII TableofContents SoftwareReliabilityandRejuvenation:ModelingandAnalysis...318 KishorS. Trivedi,KalyanaramanVaidyanathan PerformanceValidationofMobileSoftwareArchitectures ...346 VincenzoGrassi,VittorioCortellessa,Ra?aelaMirandola PerformanceIssuesofMultimediaApplications ...374 EdmundodeSouzaeSilva,RosaM. M. Le"ao,BerthierRibeiro-Neto, S'ergioCampos MarkovianModelingofRealDataTra?c:HeuristicPhaseTypeand MAPFittingofHeavyTailedandFractalLikeSamples...405 Andr'asHorv'ath,Mikl'osTelek OptimizationofBandwidthandEnergyConsumptioninWireless LocalAreaNetworks ...435 MarcoConti,EnricoGregori ServiceCentricComputing-NextGenerationInternetComputing...463 JerryRolia,RichFriedrich,ChandrakantPatel EuropeanDataGridProject:ExperiencesofDeployingaLargeScale TestbedforE-scienceApplications ...480 FabrizioGagliardi,BobJones,MarioReale,StephenBurke AuthorIndex ...501 G-Networks: Multiple Classes of Positive Customers, Signals, and Product Form Results Erol Gelenbe SchoolofElectricalEngineeringandComputerScience UniversityofCentralFlorida Orlando,FL32816 erol@cs. ucf. edu Abstract. ThepurposeofthistutorialpresentationistointroduceG- Networks,orGelenbeNetworks,whichareproductformqueueingn- works which include normal or positive customers, as well as negative customers which destroy other customers, and triggers which displace othercustomersfromonequeuetoanother. Wederivethebalanceeq- tionsforthesemodelsinthecontextofmultiplecustomerclasses,show the product form results, and exhibit the tra?c equations which - in thiscase,contrarytoBCMPandJacksonnetworks-arenon-linear. This leadstointerestingissuesofexistenceanduniquenessofthesteady-state solution.GelenbeNetworkcanbeusedtomodellargescalecomputers- temsandnetworksinwhichsignalingfunctionsrepresentedbynegative customersandtriggersareusedtoachieve?owandcongestioncontrol. 1 Introduction In this survey and tutorial, we discuss a class of queueing networks, originally inspired by our work on neural networks, in which customers are either "signals" or positive customers.