Transferring performance prediction models across different hardware platforms

P Valov, JC Petkovich, J Guo, S Fischmeister… - Proceedings of the 8th …, 2017 - dl.acm.org
Many software systems provide configuration options relevant to users, which are often
called features. Features influence functional properties of software systems as well as non …

Software performance self-adaptation through efficient model predictive control

E Incerto, M Tribastone… - 2017 32nd IEEE/ACM …, 2017 - ieeexplore.ieee.org
A key challenge in software systems that are exposed to runtime variabilities, such as
workload fluctuations and service degradation, is to continuously meet performance …

Introduction to software performance engineering: Origins and outstanding problems

CU Smith - Formal Methods for Performance Evaluation: 7th …, 2007 - Springer
This chapter first reviews the origins of Software Performance Engineering (SPE). It provides
an overview and an extensive bibliography of the early research. It then covers the …

Automatic verification and performance analysis of time-constrained sysml activity diagrams

Y Jarraya, A Soeanu, M Debbabi… - 14th Annual IEEE …, 2007 - ieeexplore.ieee.org
We present in this paper a new approach for the automatic verification and performance
analysis of SysML activity diagrams. Since timeliness is important in the design and analysis …

Learning queuing networks by recurrent neural networks

G Garbi, E Incerto, M Tribastone - Proceedings of the ACM/SPEC …, 2020 - dl.acm.org
It is well known that building analytical performance models in practice is difficult because it
requires a considerable degree of proficiency in the underlying mathematics. In this paper …

Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile

M Tribastone, S Gilmore - Proceedings of the 7th International Workshop …, 2008 - dl.acm.org
Recent trends in software engineering lean towards modelcentric development
methodologies, a context in which the UML plays a crucial role. To provide modellers with …

Performance Model Interchange Format (PMIF 2): A comprehensive approach to queueing network model interoperability

CU Smith, CM Lladó, R Puigjaner - Performance Evaluation, 2010 - Elsevier
The Performance Model Interchange Format (PMIF) provides a mechanism for transferring
the system model information among performance modeling tools requiring only that the …

A large-scale empirical study of real-life performance issues in open source projects

Y Zhao, L **ao, AB Bondi, B Chen… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
Software performance is a critical quality attribute that determines the success of a software
system. However, practitioners lack comprehensive and holistic understanding of how real …

Performance prediction of web service workflows

M Marzolla, R Mirandola - International Conference on the Quality of …, 2007 - Springer
Web Services play an important role in the SOA paradigm, as they allow services to be
selected on-the-fly to build applications out of existing components. In this scenario, the …

[PDF][PDF] UML Profiles for Real-Time Systems and their Applications.

A Gherbi, F Khendek - J. Object Technol., 2006 - researchgate.net
Real-time systems (RTS) have strict timing constraints and limited resources. The
satisfaction of RTS timing constraints is required for their correction. In order to reduce the …