A set of performance and dependability analysis components for CADP. (English) Zbl 1031.68552

Hermanns, Holger; Joubert, Christophe

Garavel, Hubert (ed.) et al., Tools and algorithms for the construction and analysis of systems. 9th international conference TACAS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2619, 425-430 (2003).

Summary: This paper describes a set of analysis components that open the way to perform performance and dependability analysis with the CADP toolbox, originally designed for verifying the functional correctness of LOTOS specifications. Three new tools (named BCG_STEADY, BCG_TRANSIENT and DETERMINATOR have been added to the toolbox. The approach taken fits well within the existing architecture of CADP which doesn’t need to be altered to enable performance evaluation.
For the entire collection see [Zbl 1017.00035].

MSC:

68Q85

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Software:

SPNP; PEPA; GreatSPN 1.7; CADP; Möbius; SMART_; GreatSPN