ICSOFT 2011

Abstract

High-quality software needs to meet both functional and non-functional requirements. In some cases, software must accomplish specific performance requirements, but most of the time, only high-level performance requirements are available: it is up to the developer to decide what performance should be expected from each part of the system. In this context, the MARTE profile was proposed by the OMG to extend UML for model-driven development of real-time and embedded systems, focusing on assisting early performance analysis and scheduling. We propose using the MARTE profile to derive the performance requirements of each action in an UML activity diagram from the requirements of the containing activity and some local annotations. In this work, we show how the MARTE profile can be used for this purpose, define algorithms for computing the required throughput and time limit for each action and study their theoretical and empirical performance. The algorithms have been integrated into the Papyrus UML diagram editor and feed back their results into the original model. Running both algorithms on activities with 225 paths requires 10 seconds on average.

Errata

Page 8, right column, second paragraph: "the partial order in (3) can be simplified to a ⩽ c" should be changed to "the partial order in (3) can be simplified to b ⩽ d".

BibTeX entry

@inproceedings{garcia-dominguez_model-driven_2011,
    address = {Seville, Spain},
    title = {Model-driven Design of Performance Requirements with {UML} and {MARTE}},
    booktitle = {Proceedings of the 6th International Conference on Software and Data Technologies},
    author = {Antonio {Garc\'{\i}a-Dom\'{\i}nguez} and Inmaculada {Medina-Bulo} and Mariano {Marcos-B\'{a}rcena}},
    month = jul,
    year = {2011}
}

icsoft11-agd.pdf (271 KB) Antonio García Domínguez, 06/08/2011 08:05 PM

slides-agd.pdf - Slides for the talk given at ICSOFT 2011 (317 KB) Antonio García Domínguez, 07/19/2011 10:19 AM