Integrating Software and Hardware Performance Models Using Hierarchical Queeing Petri Nets

IntegratingSoftwareandHardwPerformanceMo delsUsingHierarchicalQueueingPetriNetsFalkoBause,PeterBuchholzandKemp erInformatikIV,UniversitatDortmundD-44221Dortmund,Germanye-mail:fbause,buchholz,kemp erg@ls4.informatik.uni-dortmund.deAbstractThispap erintro ducesanewapproachfortheconstructionofp erformancemo d-elsofcomplexsystemsintegratingsoftwareandhardware.Softcomp onentsaresp eci edusinghierarchicalcolouredGSPNswhichextendthewellestablishedcolouredGSPNs.Hardwarecomp onentscomp osedofbasicqueuestakenfromqueueingnetworks.IntegrationofqueuesintohierarchicalGSPNsfacilitatesthesp eci cationofavirtualmachinewhichprovidesservicesforsoftwarecomp onents.VirtualmachinesareintegratedthecolouredGSPNdescriptionofsoftwcomp onentviasubnetplaces.Thissimpli esthedescriptionofmappingsoft-wareontohardwmo dels.Apartfromsp eci cationconvenience,certainanalysistechniquesalsopro tfromthehierarchicalstructure,amongotherswediscussexactnumericaltechniques,approximationsimulationandhybridapproachescombiningdi erenttechniques.1Intro ductionWellknownconceptsapplytostructurecomplexsoftware(SW)andhardw(HW)systems,theseincludemo dularisation,layers,andvirtualmachines.SWsystemsaretypicallystructuredhierarchicallyviare nemenandmo dularisation.Thisresultsinatop-downdesign,whereduringthedesignpro cess,amountofinformationincreasesbysuccessiveadditionofdetails.ForHWresources,basicbuildingblo cksarereusedandcombinedtobuildvirtualmachinesinab ottom-upmanner.Clearly,b othmetho dsmustmatchforacompletesystem.ThisrequirestomapSWhierarcyonvirtualmachineswherethelatterhavetoprovideanappropriatesetofservices.SeparatingaSWhierarchy

[1]  Oliver Botti,et al.  From basic to timed net models of Occam: an application to program placement , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[2]  Peter Buchholz,et al.  Numerical analysis of stochastic marked graph nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[3]  Kishor S. Trivedi,et al.  A Decomposition Approach for Stochastic Reward Net Models , 1993, Perform. Evaluation.

[4]  Yao Li,et al.  Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks , 1995, IEEE Trans. Computers.

[5]  O. Botti,et al.  Process and resource boxes: an integrated PN performance model for applications and architectures , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.

[6]  Peter Buchholz,et al.  QPN-Tool for the Specification ans Analysis of Hierarchically Combined Queueing Petri Nets , 1995, MMB.

[7]  Manuel Silva Suárez,et al.  A general iterative technique for approximate throughput computation of stochastic marked graphs , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[8]  H. Beilner,et al.  Towards a Performance Modelling Environment: News on Hit , 1989 .

[9]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[10]  Giuliana Franceschinis,et al.  Understanding Parallel Program Behavior through Petri Net Models , 1992, J. Parallel Distributed Comput..

[11]  Alois Ferscha,et al.  A Petri Net Approach for Performance Oriented Parallel Program Design , 1992, J. Parallel Distributed Comput..

[12]  Falko Bause,et al.  Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[13]  Peter Buchholz,et al.  Structured analysis approaches for large Markov chains , 1999 .

[14]  Peter Buchholz,et al.  Aggregation and disaggregation in product form queueing Petri Nets , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[15]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

[16]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[17]  Mandyam M. Srinivasan,et al.  Introduction To Computer System Performance Evaluation , 1992 .

[18]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[19]  Giuliana Franceschinis,et al.  The PSR Methodology: Integrating Hardware and Software Models , 1996, Application and Theory of Petri Nets.

[20]  Peter Buchholz.  A distributed numerical/simulative algorithm for the analysis of large continuous time Markov chains , 1997 .

[21]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.