A set of performance and dependability analysis components for CADP

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2619, Issue , 2003, Pages 425-430

  Hermanns, Holger ^a,b   Joubert, Christophe ^c  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b SAARLAND UNIVERSITY   (Germany)

^c INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

DEPENDABILITY ANALYSIS; EXISTING ARCHITECTURES; FUNCTIONAL CORRECTNESS; LOTOS SPECIFICATIONS;

ARTIFICIAL INTELLIGENCE;

EID: 35248841000     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_30     Document Type: Article

References (23)

1. M. Bernardo, W.R. Cleaveland, S.T. Sims, and W.J. Stewart. TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems. In Proc. FORTE/PSTV'98, p. 457-467, Kluwer, 1998.
2. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Perf. Eval., 24(1,2):47-68, 1995.
3. G. Ciardo, A.S. Miner. SMART: Simulation and Markovian Analyzer for Reliability and Timing. In Proc. IPDS'96, p. 60, IEEE CS Press, 1996.
4. G. Ciardo, J. Muppala, and K. Trivedi. SPNP: stochastic Petri net package. In Proc. PNPM'89, p. 142-151, IEEE CS Press, 1989.
5. G. Ciardo and R. Zijal. Well-defined stochastic Petri nets. In Proc. MASCOTS'96, p. 278-284, IEEE CS Press, 1996.
6. D.D. Deavours and W.H. Sanders. An efficient well-specified check. In Proc. PNPM'99, p. 124-133, IEEE CS Press, 1999.
7. D.D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J.M. Doyle, W. H. Sanders, and P.G. Webster. The Möbius Framework and Its Implementation. IEEE Trans. on Softw. Eng., 28(10):956-969, 2002.
8. H. Garavel and H. Hermanns. On Combining Functional Verification and Performance Evaluation using CADP. In Proc. FME'02. LNCS 2391:410-429, 2002.
9. H. Garavel and F. Lang. SVL: A Scripting Language for Compositional Verification. In Proc. FORTE/PSTV 2001, p. 377-394, Kluwer, 2001.
10. H. Garavel, F. Lang, and R. Mateescu. An Overview of CADP 2001. EASST Newsletter, 4:13-24, 2002.
11. R. German, A. van Moorsel, M.A. Qureshi, and W.H. Sanders. Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures. IEEE Trans. on Softw. Eng., 22(9):603-614, 1996.
12. S. Gilmore and J. Hillston. The PEPA Workbench: A Tool to Support a Process Algebra-Based Approach to Performance Modelling. In Proc. TOOLS'94. LNCS 794:353-368, 1994.
13. H. Hermanns. Interactive Markov Chains and the Quest for Quantified Quality. LNCS 2428, 2002.
14. H. Hermanns. Construction and Verification of Performance and Reliability Models. Bulletin of the EATCS, 74:135-154, 2001.
15. H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, and M. Siegle. Compositional performance modelling with the TIPPtool. Perf. Eval., 39(1-4):5-35, January 2000.
16. H. Hermanns and J.P. Katoen. Automated compositional Markov chain generation for a plain-old telephony system. Sci. of Comp. Prog., 36(1):97-127, 2000.
17. H. Hermanns, J.-P. Katoen, J. Meyer-Kayser, and M. Siegle. A Markov Chain Model Checker. In Proc. TACAS'00. LNCS 1785:347-362, 2000.
18. K.S. Kundert. Sparse matrix techniques. In Circuit analysis, Simulation and Design 3, North-Holland, 1986.
19. A. Marsan, G. Balbo, and G. Conte. A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Trans. on Comp. Sys., 2(2):93-122, 1984.
20. M.L. Puterman. Markov Decision Processes. John Wiley, 1994.
21. W.H. Sanders and J.F. Meyer. Stochastic Activity Networks: Formal Definitions and Concepts. In Proc. FMPA 2000. LNCS 2090:315-343, 2001.
22. W.H. Sanders, W.D. Oball, M.A. Qureshi, and F.K. Widjanarko. The UltraSAN modeling environment. Perf. Eval., 24(1):89-115, 1995.
23. W.J. Stewart. Introduction to the numerical solution of Markov chains. Princeton University Press, 1994.