Dependability modelling with the stochastic process algebra tool CASPA
Johann Schuster, Markus Siegle · 2010
This note describes CASPA, a stochastic process algebra tool for performance and dependability modelling, analysis and verification. Internally, the tool works with the symbolic data structure MTBDD (multi-terminal binary decision diagram), which allows for handling models with very large state space. The paper illustrates how CASPA can be used for dependability analysis, by modelling and analysing a phased mission system from the literature.