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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
