Abstract
This paper proposes a new methodology for the construction of integrated hardware-software GSPN models. The PSR methodology is an extension of the Process/Resource Box methodology defined in [5]: it consists of defining three submodels, the P level (processes), the S level (services) and the R, level (resources), and the composition rules to combine them into a complete integrated GSPN model of the whole system.
This work has been motivated by the need of a systematic approach to the construction of (parallel) hardware-software models. The adequacy of the methodology is discussed through a running example of a relatively complex system.
This work has been partially supported by the Italian MURST “40%” project and by the ENEL-CRA contract n. 73/93
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
M. Bernardo, L. Donatiello, and R. Gorrieri. Integrated analysis of concurrent distributed systems using Markovian Process Algebra. In Proc. Seventh International Conference on Formal Description Techniques, Berna, Switzerland, October 1994.
E. Best, R. Devillers, and J. Hall. The Petri box calculus: a new causal algebra with multilabel communication. In G. Rozenberg, editor, Advances in Petri Nets, volume 609 of LNCS, pages 21–69. Springer Verlag, 1992.
E. Best, H. Fleischack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. A class of composable high, level Petri nets with an application to the semantics of B(PN)2. In Proc. of 16th International Conference on Application and Theory of Petri Nets, Turin, Italy, June 1995. Springer Verlag. LNCS 935.
O. Botti and F. De Cindio. Process and resource boxes: an integrated pn performance model for applications and architectures. In IEEE Proc. of the Int. Conf. on Systems, Man and Cybernetics, Le Toquet, France, 1993.
O. Botti, S. Donatelli, and G. Franceschinis. Assessing the performance of multiprocessor architectures through swn models simulation: a case study in the field of plant automation systems. Submitted to the 29th Annual Simulation Symposium (SCS), New Orleans, Louisiana, U.S.A. april 1996, 1995.
P. Buchholz. Hierarchies in colored GSPNs. In Proc. 14th Intern. Conference on Application and Theory of Petri Nets, volume 691 of LNCS, Chicago, Illinois, June 1993. Springer Verlag.
P. Buchholz. Markovian process algebra: Composition and equivalence. In U. Herzog and M. Rettelbach, editors, Proc. 2nd Workshop on Process Algebra and Performance Modelling, Erlangen, 1994.
G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11), November 1993.
F. De Cindio and O. Botti. Comparing Occam2 program placements by a GSPN model. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, pages 216–221, Melbourne, Australia, December 1991. IEEE-CS Press.
S. Donatelli, G. Franceschinis, M. Ribaudo, and S. Russo. Use of GSPNs for concurrent software validation in EPOCA. Information and Software Technology, 36(7):443–448, 1994.
A. Ferscha. Modelling mappings of parallel computations onto parallel architectures with PRM-net model. In Proc. IFIP-WG 10.3 Working Conference on Decentralized Systems, Lyon, December 1989.
A. Ferscha. A Petri net approach for performance oriented parallel program design. Journal of Parallel and Distributed Computing, 15(3):188–206, July 1992. Special Issue on Petri Net Modelling of Parallel Computers.
Stephen Gilmore and Jane Hillston. The PEPA workbench: A tool to support a Process Algebra based approach to performance modelling. In Proc. Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, Vienna, 1994.
N. Gotz, U. Herzog, and M. Rettelbach. Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebra. In Tutorial Proc. Performance 1993, volume 729 of LNCS, Rome, 1994.
Jane Hillston. The nature of synchronization. In U. Herzog and M. Rettelbach, editors, Proc. 2nd Workshop on Process Algebra and Performance Modelling, Erlangen, 1994.
Jane Hillston. Compositional Markovian modelling using a process algebra. In Proc. 2nd International Workshop on the Numerical Solution of Markov Chains, Raleigh, North Carolina, January 1995.
J.L. Villaroel, J. Martinez, and M. Silva. Graman: A graphic system for manufacturing system design. In Proc. of the IMACS Symposium on System Modelling and Simulation, Cetraro, Italy, 18–21 September 1988, 1989. North Holland-Elsevier.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Donatelli, S., Franceschinis, G. (1996). The PSR methodology: Integrating hardware and software models. In: Billington, J., Reisig, W. (eds) Application and Theory of Petri Nets 1996. ICATPN 1996. Lecture Notes in Computer Science, vol 1091. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61363-3_8
Download citation
DOI: https://doi.org/10.1007/3-540-61363-3_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61363-3
Online ISBN: 978-3-540-68505-0
eBook Packages: Springer Book Archive