Skip to main content

The PSR methodology: Integrating hardware and software models

  • Full Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1996 (ICATPN 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1091))

Included in the following conference series:

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

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. 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.

    Google Scholar 

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. Jane Hillston. The nature of synchronization. In U. Herzog and M. Rettelbach, editors, Proc. 2nd Workshop on Process Algebra and Performance Modelling, Erlangen, 1994.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Jonathan Billington Wolfgang Reisig

Rights and permissions

Reprints 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

Publish with us

Policies and ethics