Abstract
This note describes the new features of the performance evaluation tool CASPA, which has been extended by algorithms for the model checking of stochastic systems. CASPA uses stochastic process algebras as its input language. Multi-terminal binary decision diagrams (MTBDD) are employed to represent the transition system underlying a given process algebraic specification. The specification of performability requirements can be done using a newly developed stochastic temporal logic. All phases of modelling, from model construction to model checking and numerical analysis, are based entirely on MTBDDs.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 13th GI/ITG Conference Measureing, Modelling and Evaluation of Computer and Communication Systems |
| Editors | R. German, A. Heindl |
| Place of Publication | Frankfurt am Main |
| Publisher | VDE Verlag |
| Pages | 465-468 |
| Number of pages | 4 |
| ISBN (Print) | 978-3-8007-2945-6 |
| Publication status | Published - 2006 |
| Externally published | Yes |
| Event | 13th GI/ITG Conference Measureing, Modelling and Evaluation of Computer and Communication Systems, MMB 2006 - Nuremberg, Germany Duration: 27 Mar 2006 → 29 Mar 2006 Conference number: 13 |
Conference
| Conference | 13th GI/ITG Conference Measureing, Modelling and Evaluation of Computer and Communication Systems, MMB 2006 |
|---|---|
| Abbreviated title | MMB |
| Country/Territory | Germany |
| City | Nuremberg |
| Period | 27/03/06 → 29/03/06 |