Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Software and Systems Modeling
Erschienen in: Software and Systems Modeling 2/2018

10.02.2017 | Theme Section Paper

Using UML/MARTE to support performance tuning and stress testing in real-time systems

verfasst von: Stefano Di Alesio, Sagar Sen

Erschienen in: Software and Systems Modeling | Ausgabe 2/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Real-time embedded systems (RTESs) operating in safety-critical domains have to satisfy strict performance requirements in terms of task deadlines, response time, and CPU usage. Two of the main factors affecting the satisfaction of these requirements are the configuration parameters regulating how the system interacts with hardware devices, and the external events triggering the system tasks. In particular, it is necessary to carefully tune the parameters in order to ensure a satisfactory trade-off between responsiveness and usage of computational resources, and also to stress test the system with worst-case inputs likely to violate the requirements. Performance tuning and stress testing are usually manual, time-consuming, and error-prone processes, because the system parameters and input values range in a large domain, and their impact over performance is hard to predict without executing the system. In this paper, we provide an approach, based on UML/MARTE, to support the generation of system configurations predicted to achieve a satisfactory trade-off between response time and CPU usage, and stress test cases that push the system tasks to violate their deadlines. First, we devise a conceptual model that specifies the abstractions required for analyzing task deadlines, response time, and CPU usage, and provide a mapping between these abstractions and UML/MARTE. Then, we prune the UML/MARTE metamodel to only contain a purpose-specific subset of entities needed to support performance tuning and stress testing. The pruned version is a supertype of UML/MARTE, which ensures that all instances of the pruned metamodel are also instances of UML/MARTE. Finally, we cast the generation of configurations and stress test cases as two constrained optimization problems (COPs) over our conceptual model. The input data for these COPs in automatically generated via a model-to-text (M2T) transformation from models specified in the pruned UML/MARTE metamodel to the Optimization Programming Language. We validate our approach in a safety-critical RTES from the maritime and energy domain, showing that (1) our conceptual model can be applied in an industrial setting with reasonable effort, and (2) the optimization problems effectively identify configurations predicted to minimize response time and CPU usage, and stress test cases that maximize deadline misses. Based on our experience, we highlight challenges and potential issues to be aware of when using UML/MARTE to support performance tuning and stress testing in an industrial context.
Vorheriger Artikel WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction—a model-driven approach for session-based application systems
Nächster Artikel Model-driven optimal resource scaling in cloud

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Fußnoten
3
Note that the scheduling theory defines as singular a task which is executed only once during the system execution, and an activity as a sequence of operations that a task executes.
 
5
In UML, active objects model entities owning a process or thread, and that can initiate flow control activity.
 
6
UML/MARTE does not specify whether best corresponds to the minimum time and worst to the maximum, or vice versa. Hence, this decision is left to the modelers applying UML/MARTE, and can be taken arbitrarily depending on context factors of the target system.
 
8
The semantics of Ecore is aligned to that of UML and UML/MARTE.
 
Literatur
1.
Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: FM 2006: Formal Methods, pp. 1–15. Springer, Berlin (2006)
2.
3.
Lala, J.H., Harper, R.E.: Architectural principles for safety-critical real-time applications. Proc. IEEE 82(1), 25–40 (1994)CrossRef
4.
Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Springer, Berlin (2011)CrossRefMATH
5.
Storey, N.R.: Safety Critical Computer Systems. Addison-Wesley Longman Publishing Co. Inc., Redwood City (1996)
6.
Gomaa, H.: Designing concurrent, distributed, and real-time applications with UML. In: Proceedings of the 28th International Conference on Software Engineering. ACM, pp. 1059–1060 (2006)
7.
Bell, R.: Introduction to IEC 61508. In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software-Volume 55, pp. 3–12. Australian Computer Society, Inc., Darlinghurst (2006)
8.
Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)MATH
9.
Woodside, M., Franks, G., Petriu, D.C.: The future of software performance engineering. In: Future of Software Engineering, 2007. FOSE’07. IEEE, pp. 171–187 (2007)
10.
Balsamo, S., Marco, A.D., Inverardi, P., Simeoni, M.: Model-based performance prediction in software development: a survey. IEEE Trans. Softw. Eng. 30(5), 295–310 (2004)CrossRef
11.
Demathieu, S., Thomas, F., André, C., Gérard, S., Terrier, F.: First experiments using the UML profile for MARTE. In: 2008 11th IEEE International Symposium on Object Oriented Real-Time Distributed Computing (ISORC), pp. 50–57 (2008)
12.
Ali, S., Briand, L.C., Hemmati, H.: Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems. Softw. Syst. Model. 11(4), 633–670 (2012)CrossRef
13.
Iqbal, M., Ali, S., Yue, T., Briand, L.: Experiences of applying UML/MARTE on three industrial projects. In: Model Driven Engineering Languages and Systems, pp. 642–658. Springer, Berlin (2012)
14.
David, A., Illum, J., Larsen, K.G., Skou, A.: Model-based framework for schedulability analysis using UPPAAL 4.1. Model-based Des. Embed. Syst. 1(1), 93–119 (2009)CrossRef
15.
Clarke, E.M., Klieber, W., Nováček, M., Zuliani, P.: Model checking and the state explosion problem. In: Tools for Practical Software Verification, pp. 1–30. Springer, Berlin (2012)
16.
Nejati, S., Adedjouma, M., Briand, L.C., Hellebaut, J., Begey, J., Clement, Y.: Minimizing CPU time shortage risks in integrated embedded software. In: 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), pp. 529–539 (2013)
17.
Briand, L.C., Labiche, Y., Shousha, M.: Using genetic algorithms for early schedulability analysis and stress testing in real-time systems. Genet. Program. Evolvable Mach. 7(2), 145–170 (2006)CrossRef
18.
Di Alesio, S., Nejati, S., Briand, L., Gotlieb, A.: Stress testing of task deadlines: a constraint programming approach. In: IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), pp. 158–167 (2013)
19.
Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play-in/play-out approach. Software and Systems Modeling 2(2), 82–107 (2003)CrossRef
20.
Di Alesio, S.: Optimal performance tuning in real-time systems using multi-objective constrained optimization. In: 22nd International Conference on Principles and Practice of Constraint Programming (CP 2016) (2016)
21.
Di Alesio, S., Nejati, S., Briand, L., Gotlieb, A.: Worst-case scheduling of software tasks—a constraint optimization model to support performance testing. In: Principles and Practice of Constraint Programming (CP 2014) (2014)
22.
Sen, S., Moha, N., Baudry, B., Jézéquel, J.-M.: Meta-model pruning. In: Model Driven Engineering Languages and Systems, pp. 32–46. Springer, Berlin (2009)
23.
Steel, J., Jézéquel, J.-M.: On model typing. Softw. Syst. Model. 6(4), 401–413 (2007)CrossRef
24.
Sen, S., Moha, N., Mahé, V., Barais, O., Baudry, B., Jézéquel, J.-M.: Reusable model transformations. Softw. Syst. Model. 11(1), 111–125 (2012)CrossRef
25.
Van Hentenryck, P.: The OPL optimization programming language. MIT Press, Cambridge (1999)
26.
Di Alesio, S., Gotlieb, A., Nejati, S., Briand, L.: Testing deadline misses for real-time systems using constraint optimization techniques. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), pp. 764–769 (2012)
27.
Nejati, S., Di Alesio, S., Sabetzadeh, M., Briand, L.: Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing. In: Model Driven Engineering Languages and Systems, pp. 759–775, Springer, Berlin (2012)
28.
Di Alesio, S., Briand, L., Nejati, S., Gotlieb, A.: Combining genetic algorithms and constraint programming to support stress testing of task deadlines. ACM Trans Soft Eng Methodol. 25, 4:1–4:37
29.
Buttazzo, G.C.: Hard real-time computing systems: predictable scheduling algorithms and applications, vol. 24. Springer, Berlin (2011)MATH
30.
Shin, K.G., Ramanathan, P.: Real-time computing: a new discipline of computer science and engineering. Proc. IEEE 82(1), 6–24 (1994)CrossRef
31.
Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogram. 40(2), 117–134 (1994)CrossRef
32.
Baker, T.P.: An analysis of fixed-priority schedulability on a multiprocessor. Real Time Syst. 32(1–2), 49–71 (2006)CrossRefMATH
33.
Mikučionis, M., Larsen, K.G., Rasmussen, J.I., Nielsen, B., Skou, A., Palm, S.U., Pedersen, J.S., Hougaard, P.: Schedulability analysis using UPPAAL: Herschel-Planck case study. In: Leveraging Applications of Formal Methods, Verification, and Validation, pp. 175–190. Springer, Berlin (2010)
34.
Di Marco, V.C.A., Inverardi, P.: Model-Based Software Performance Analysis. Springer, Berlin (2011)
35.
Lazowska, E.D., Zahorjan, J., Graham, G.S., Sevcik, K.C.: Quantitative System Performance: Computer System Analysis Using Queueing Network Models. Prentice-Hall Inc., Englewood Cliffs (1984)
36.
Kartson, D., Balbo, G., Donatelli, S., Franceschinis, G., Conte, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York (1994)MATH
37.
Plateau, B., Atif, K.: Stochastic automata network of modeling parallel systems. IEEE Trans. Softw. Eng. 17(10), 1093–1108 (1991)MathSciNetCrossRef
38.
Petriu, D.C.: Software model-based performance analysis. In: Babau, J.P., Blay-Fornarino, M., Champeau, J., Robert, S., Sabetta, A. (eds.) Model Driven Engineering for distributed Real-Time Systems: MARTE Modelling, Model Transformations and Their Usages. ISTE Ltd and Wiley, New York (2010)
39.
Shousha, M., Briand, L., Labiche, Y.: A UML/SPT model analysis methodology for concurrent systems based on genetic algorithms. In: Model Driven Engineering Languages and Systems, pp. 475–489. Springer, Berlin (2008)
40.
Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum: a marte-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Softw. Eng. Notes 36(1), 1–8 (2011)CrossRef
41.
Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 1990. LICS’90, pp. 414–425 (1990)
42.
Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL. In: Formal methods for the design of real-time systems, pp. 200–236. Springer, Berlin (2004)
43.
Baptiste, P., Le Pape, C., Nuijten, W.: Constraint-Based Scheduling: Applying Constraint Programming to Scheduling Problems, vol. 39. Springer, Berlin (2001)MATH
44.
Singh, A.: Identifying Malicious Code Through Reverse Engineering. Springer, Berlin (2009)MATH
45.
Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., et al.: The worst-case execution-time problemoverview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. (TECS) 7(3), 36 (2008)
46.
Selic, B.: Using UML for modeling complex real-time systems. In: Mueller, F., Bestavros, A. (eds.) Languages, Compilers, and Tools for Embedded Systems, pp. 250–260. Springer, Berlin (1998)
47.
OMG: UML profile for MARTE: modeling and analysis of real-time embedded systems. OMG, Technical Report OMG Document Number: formal/2011-06-02 (2011)
48.
Sprunt, B., Sha, L., Lehoczky, J.: Aperiodic task scheduling for hard-real-time systems. Real Time Syst. 1(1), 27–60 (1989)CrossRef
49.
Schmidt, D.C.: Model-driven engineering. IEEE Comput. Soc. 39(2), 25 (2006)CrossRef
50.
Committee, I.S. et al.: 754-2008 IEEE standard for floating-point arithmetic. IEEE Computer Society Std (2008)
51.
Bruce, K., Vanderwaart, J.: Semantics-driven language design-statically type-safe virtual types in object-oriented languages. Electron. Notes Theor. Comput. Sci. 20(1), 1–26 (2004)MATH
52.
Hwang, C.-L., Masud, A.S.M.: Multiple objective decision making-methods and applications: a state-of-the-art survey. Lecture Notes in Economics and Mathematical Systems, vol. 164 (1979)
53.
Pardalos, P., Migdalas, A., Pitsoulis, L.: Pareto Optimality, Game Theory and Equilibria, vol. 17. Springer, New York (2008)MATH
54.
Nejati, S., Briand, L.C.: Identifying optimal trade-offs between CPU time usage and temporal constraints using search. In: Proceedings of the 2014 International Symposium on Software Testing and Analysis, pp. 351–361. ACM (2014)
55.
56.
Iqbal, M.Z., Ali, S., Yue, T., Briand, L.: Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. Softw. Syst. Model. 14(4), 1367–1385 (2015)CrossRef
57.
Grossman, M., Aronson, J.E., McCarthy, R.V.: Does UML make the grade? Insights from the software development community. Inf. Softw. Technol. 47(6), 383–397 (2005)CrossRef
58.
Espinoza, H., Richter, K., Gérard, S.: Evaluating MARTE in an industry-driven environment: TIMMO’s challenges for AUTOSAR timing modeling. Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML Profile (2008)
59.
Selic, B., Gérard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Elsevier, Amsterdam (2013)
60.
Safdar, S.A., Iqbal, M.Z., Khan, M.U.: Empirical evaluation of UML modeling tools—a controlled experiment. In: Taentzer, G., Bordeleau, F. (eds.) Modelling Foundations and Applications. Springer, Berlin, pp. 33–44 (2015)
61.
Middleton, S.E., Servin, A., Zlatev, Z., Nasser, B., Papay, J., Boniface, M.: Experiences using the UML profile for MARTE to stochastically model post-production interactive applications. In: eChallenges, 2010, pp. 1–8 (2010)
Metadaten
Titel
Using UML/MARTE to support performance tuning and stress testing in real-time systems
verfasst von
Stefano Di Alesio
Sagar Sen
Publikationsdatum
10.02.2017
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 2/2018
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-017-0585-x

Weitere Artikel der Ausgabe 2/2018

Software and Systems Modeling 2/2018 Zur Ausgabe

Editorial

Special section of BPMDS’2015: enabling value creation via business process modeling, development, and support

Special Section Paper

Mining team compositions for collaborative work in business processes

Special Section Paper

Scalable process discovery and conformance checking

Regular Paper

What can we learn from enterprise architecture models? An experiment comparing models and documents for capability development

Theme Section Paper

Model-driven performance prediction of systems of systems

Special Section Paper

Toward an execution system for self-healing workflows in cyber-physical systems