Abstract | ||
---|---|---|
We present a new method for the accurate analysis of the quality-of-service (QoS) properties of component-based systems. Our method takes as input a QoS property of interest and a high-level continuous-time Markov chain (CTMC) model of the analysed system, and refines this CTMC based on observations of the execution times of the system components. The refined CTMC can then be analysed with existin... |
Year | DOI | Venue |
---|---|---|
2020 | 10.1109/TSE.2018.2864159 | IEEE Transactions on Software Engineering |
Keywords | DocType | Volume |
Quality of service,Unified modeling language,Analytical models,Markov processes,Probabilistic logic,Component architectures | Journal | 46 |
Issue | ISSN | Citations |
5 | 0098-5589 | 2 |
PageRank | References | Authors |
0.36 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Colin Paterson | 1 | 112 | 10.76 |
Radu Calinescu | 2 | 905 | 63.01 |