Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Markov-modulated Poisson process (MMPP) cookbook
Performance Evaluation
Performance evaluation of software architectures
Proceedings of the 1st international workshop on Software and performance
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Real-time UML (2nd ed.): developing efficient objects for embedded systems
Quantitative system evaluation with DSPNexpress 2000
Proceedings of the 2nd international workshop on Software and performance
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
Performance Engineering of Software Systems
Performance Engineering of Software Systems
Performance Modelling with Deterministic and Stochostic Petri Nets
Performance Modelling with Deterministic and Stochostic Petri Nets
Architecture-Based Performance Analysis Applied to a Telecommunication System
IEEE Transactions on Software Engineering
Performance Analysis of the General Packet Radio Service
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
UML based performance modeling of distributed systems
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
UML based modeling and performance analysis of mobile systems
MSWiM '04 Proceedings of the 7th ACM international symposium on Modeling, analysis and simulation of wireless and mobile systems
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
Formal performance analysis and simulation of UML/SysML models for ESL design
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Using UML state machines and petri nets for the quantitative investigation of ETCS
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
A toolkit for performability evaluation based on stochastic UML state machines
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Petri net translation patterns for the analysis of ebusiness collaboration messaging protocols
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Choreographing security and performance analysis for web services
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Hi-index | 0.01 |
In this paper, we propose extensions to UML state diagrams and activity diagrams in order to allow the association of events with exponentially distributed and deterministic delays. We present an efficient algorithm for the state space generation out of these UML diagrams that allows a quantitative analysis by means of an underlying stochastic process. We identify a particular stochastic process, the generalized semi-Markov process (GSMP), as the appropriate vehicle on which quantitative analysis is performed. As innovative feature the algorithm removes vanishing states, i.e. states with no timed events active, and considers branching probabilities within activity diagrams. Furthermore, we introduce a performance evaluation framework that allows a system designer to predict performance measures at several steps in the design process. The applicability of our approach for practical performance and dependability projects is demonstrated by an UML specification of the General Packet Radio Service, a packet switched extension in GSM wireless networks.