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.

The PSR methodology: integrating hardware and software models

FRANCESCHINIS, Giuliana Annamaria
1996-01-01

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.
1996
9783540613633
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11579/2892
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 31
  • ???jsp.display-item.citation.isi??? ND
social impact