Use of GSPNs for concurrent software validation in EPOCA

https://doi.org/10.1016/0950-5849(94)90067-1Get rights and content

Abstract

The main issues related to the use of the Generalized Stochastic Petri Nets (GSPN) formalism for computer supported concurrent software comprehension and validation are discussed. A GSPN-based approach is currently under investigation in the EPOCA Project, based on the integration of the DIStributed C development system with the GreatSPN tool for editing and analysis of GSPN models.

References (20)

  • S Russo

    Methods and tools for distributed software analysis

  • IE Jelly et al.

    Software engineering for parallel systems

  • NG Leveson et al.

    Safety analysis using Petri nets

    IEEE Trans. Softw. Eng.

    (March 1987)
  • G Bruno et al.

    Process translatable Petri nets for the rapid prototyping of process control systems

    IEEE Trans. Softw. Eng.

    (February 1986)
  • IE Jelly et al.

    Using PARSE for transputer software development

  • G Bucci et al.

    Rapid prototyping through communicating Petri nets

  • M Ajmone-Marsan et al.

    A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems

    ACM Trans. Comput. Syst.

    (May 1984)
  • G Iannello et al.

    Parallel software development in the DISC programming environment

    Fut. Gener. Comput. Syst.

    (April 1990)
  • G Iannello et al.

    Definition of the DISC concurrent language

    SIGPLAN Not.

    (June 1989)
  • G Chiola

    GreatSPN 1.5 software architecture

There are more references available in the full text version of this article.

Cited by (0)

View full text