The MODEST modeling tool and its implementation

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

Volumn 2794, Issue , 2003, Pages 116-133

  Bohnenkamp, Henrik ^a   Hermanns, Holger ^a,b   Katoen, Joost Pieter ^a   Klaren, Ric ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

INTERACTIVE SIMULATORS; MODEL AND ANALYSIS; MODELING TOOL; NON-TRIVIAL; PROBABILISTIC SYSTEMS; REAL TIME; TOOLSUITE;

ARTIFICIAL INTELLIGENCE;

EID: 29144447259     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45232-4_8     Document Type: Article

References (30)

1. Pierre America and Jan J. M. M. Rutten. A layered semantics for a parallel object-oriented language. Formal Aspects of Computing, 4(4):376-408, 1992.
2. F. Bause, P. Buchholz, and P. Kemper. A toolbox for functional and quantitative analysis of DEDS. In R. Puigjaner et al., editor, Computer Performance Evaluation: Modelling Techniques and Tools, volume 1496 of LNCS, pages 356-359. Springer-Verlag, 1998.
3. F. Bause, P. Kemper, and P. Kritzinger. Abstract Petri nets notation. Petri Net Newsletter, 49:9-27, 1995.
4. A. Belinfante, J. Feenstra, R.G. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, 12th Int. Workshop on Testing of Communicating Systems, pages 179-196. Kluwer, 1999.
5. M. Bernardo, R. Cleaveland, S. Sims, and W. Stewart. TwoTowers: a tool integrating functional and performance analysis of concurrent systems. In Formal Description Techniques, pages 457-467, 1998.
6. M. Bernardo and R. Gorrieri. A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theor. Comp. Sci., 202:1-54, 1998.
7. S. Bornot and J. Sifakis. An algebraic framework for urgency. Inf. and Comp., 163(1):172-202, 2000.
8. M. Bozga, J.-C. Fernandez, A. Kerbrat, and L. Mounier. Protocol verification with the ALDÉBARAN toolset. Int. J. Softw. Tools for Techn. Transf., 1(1/2):166-184, 1997.
9. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets. Perf. Ev., 24(1&2):47-68, 1995.
10. M. Cukier, J. Ren, C. Sabnis, W. H. Sanders, D. E. Bakken, M. E. Berman, D. A. Karr, and R. E. Schantz. AQuA: An adaptive architecture that provides dependable distributed objects. In SRDS, pages 245-253, 1998.
11. Pedro R. D'Argenio, Holger Hermanns, Joost Pieter Katoen, and Ric Klaren. MoDeST - a modelling and description language for stochastic timed systems. In L. de Alfaro and S. Gilmore, editors, Process Algebra and Probabilistic Methods, volume 2165 of LNCS, pages 87-104, 2001.
12. P.R. D'Argenio, J.-P. Katoen, and E. Brinksma. An algebraic approach to the specification of stochastic systems (extended abstract). In D. Gries and W.-P. de Roever, editors, Programming Concepts and Methods, pages 126-147. Chapman & Hall, 1998.
13. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derasavi, J. Doyle, W.H. Sanders, and P. Webster. The MOBIUS framework and its implementation. IEEE Trans. on Softw. Eng., 28(10):956-970, 2002.
14. S. Edwards, L. Lavagno, E.A. Lee, and A. Sangiovanni-Vincentelli. Design of embedded systems: formal models, validation and synthesis. Proc. of the IEEE, 85(3):366-390, 1997.
15. S. Prolund and J. Koistinen. Quality-of-service specifications in distributed object systems. Dtstr. Sys. Eng., 5:179-202, 1998.
16. H. Garavel. OPEN/CÆSAR: An open software architecture for verification, simulation, and testing. In Tools and Algorithms for the Construction and Analysis of Systems, volume 1384 of LNCS, pages 68-84, 1998.
17. H. Garavel, F. Lang, and R. Mateescu. An overview of CADP 2001. EASST Newsletter, 4:13-24, 2002.
18. S. Gilmore and J. Hillston. The pepa workbench: a tool to support a process algebra-based approach to performance modelling. In Computer Performance Evaluation, volume 794 of LNCS, pages 353-368, 1994.
19. H. Hermanns. Interactive Markov Chains, volume 2428 of LNCS. Springer-Verlag, 2002.
20. H. Hermanns, U. Herzog, U. Klehmet, V. Mertsiotakis, and M. Siegle. Compositional performance modelling with the TIPPTOOL. Perf. Ev., 39(1-4):5-35, 2000.
21. Jane Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
22. http://www.research.att.com/sw/tools/graphviz/.
23. E.A. Lee. Embedded software. In M. Zelkowitz, editor, Advances in Computers, volume 56. Academic Press, 2002.
24. J. Lilius. The analyzer component framework version 0.1 - a tutorial. HTTP: http://aiken.cs.abo.fi/acf/ACF.pdf, Feb 2000. DRAFT: Revison 1.2.
25. Terence Parr and Russell Quong. Antlr: A predicated-ll(k) parser generator. Journal of Software Practice and Experience, 25(7):789-810, July 1995.
26. Paul Pettersson and Kim G. Larsen. UPPAAL2k. Bulletin of the European Association for Theoretical Computer Science, 70:40-44, February 2000.
27. G. Plotkin. A structural approach to operational semantics. Report DAIMI FN-19, Computer Science Department, Aarhus University, September 1981.
28. M.L. Puterman. Markov Decision Processes. John Wiley & Sons, 1994.
29. C. Rodrigues, J.P. Loyall, and R.E. Schantz. Quality objects (QuO): Adaptive management and control middleware for end-to-end qos. In OMG's First Workshop on Real-Time and Embedded Distributed Object Computing, 2000.
30. R.A. Sahner, K.S. Trivedi, and A. Puliafito. Performance and Reliability Analysis of Computer Systems. An Example-Based Approach Using the SHARPE Software Package. Kluwer, 1996.