-- CADP (CONSTRUCTION AND ANALYSIS OF DISTRIBUTED PROCESSES)
-- http://cadp.inria.fr

[Last updated: Tue Jul 30 15:53:10 CEST 2024]

This directory contains the specification and performance evaluation of the
Erlangen mainframe, a formal model of a multiprocessor system specified in
the TIPP process algebra and described in the following publications:

 - Ulrich Herzog and Vassilis Merksiotakis. Stochastic Process Algebras
   Applied to Failure Modelling. In: U. Herzog, M. Rettelbach (eds.)
   Proceedings of the 2nd Workshop on Process Algebras and Performance
   Modelling (PAPM'94), Regensberg/Erlangen, Germany, pp. 107-126 (July
   1994).

 - Holger Hermanns, Ulrich Herzog, and Vassilis Merksiotakis. Stochastic
   Process Algebras as a Tool for Performance and Dependability Modelling.
   In: R.K. Iyer (ed.) Proceedings of the International Computer Performance
   and Dependability Symposium (IPDS'95), Erlangen, Germany, pp. 102-111.
   IEEE (April 1995).

For this example, eight performance evaluation have been proposed, which
compute steady-state and transient probabilities and lead to the generation
of eight figures shown in [Herzog-Merksiotakis-94].

Files:
   demo.svl		SVL scenario of the performance evaluation
   check.svl		SVL scenario for verification of probe transitions
   mainframe.lnt	LNT specification of the mainframe
   Gnuplot/*.plot	eight Gnuplot scripts that generate PNG figures 
   doc/*.pdf		first publication about the Erlangen mainframe

The performance evaluation scenario described and commented in "demo.svl" is
executed by typing the command:
$	svl demo
or even simply
$	svl 

Typing the command
$	svl -clean demo
$	svl -clean check
allows to remove all files produced by the SVL scripts.