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 4/2015

01.10.2015 | Special Section Paper

Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines

verfasst von: Muhammad Zohaib Iqbal, Shaukat Ali, Tao Yue, Lionel Briand

Erschienen in: Software and Systems Modeling | Ausgabe 4/2015

Einloggen

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

search-config
loading …

Abstract

Modeling and Analysis of Real-Time and Embedded Systems (MARTE) is a Unified Modeling Language (UML) profile, which has been developed to model concepts specific to Real-Time and Embedded Systems (RTES). In the last 5 years, we have applied UML/MARTE to three distinct industrial problems in three industry sectors: architecture modeling and configuration of large-scale and highly configurable integrated control systems, model-based robustness testing of communication-intensive systems, and model-based environment simulator generation of large-scale RTES for testing. In this paper, we report on our experience of solving these problems by applying UML/MARTE on four industrial case studies. We highlight the challenges we faced with respect to the industrial adoption of MARTE. Based on our combined experience, we derive a framework to guide practitioners for future applications of UML/MARTE in an industrial context. The framework provides a set of detailed guidelines that help reduce the gap between the modeling notations and real-world industrial application needs.
Vorheriger Artikel Evaluating the effort of composing design models: a controlled experiment
Nächster Artikel Addressing the evolution of automated user behaviour patterns by runtime model interpretation

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
Literatur
1.
2.
3.
4.
5.
6.
7.
8.
Iqbal, M., Ali, S., Yue, T., Briand, L.: Experiences of applying UML/MARTE on three industrial projects. In: Model Driven Engineering Languages and Systems. vol. 7590, pp. 642–658. Springer, Berlin (2012)
9.
10.
Pohl, K., Bockle, G., Van Der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Springer, New York (2005)CrossRef
11.
Van Der Linden, F., Schmid, K., Rommes, E.: Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering. Springer, New York (2007)CrossRef
12.
IEEE Standard Glossary of Software Engineering Terminology. IEEE, IEEE Std 610.12-19901990
13.
IEEE Standard Dictionary of Measures of the Software Aspects of Dependability. IEEE Std 982.1-2005 (Revision of IEEE Std 982.1-1988), pp. 1–34 (2006)
14.
Standard for Software Quality Characteristics. International Organization for Standardization, ISO-9126-32003
15.
Software Assurance Standard. NASA Technical Standard, NASA-STD-8739.82005
16.
Demathieu, S., Thomas, A.F., Andre, A.C., Gerard, S., Terrier, F.: First experiments using the UML profile for MARTE. In: 11th IEEE Symposium on Object Oriented Real-Time, Distributed Computing, pp. 50–57 (2008)
17.
Briand, L., Falessi, D., Nejati, S., Sabetzadeh, M., Yue, T.: Research-based innovation: a tale of three projects in model-driven engineering. In: Model Driven Engineering Languages and Systems. vol. 7590, pp. 793–809. Springer, New York (2012)
18.
Espinoza, H., Richter, K., Gérard, S.: Evaluating MARTE in an industry-driven environment: TIMMO’s challenges for AUTOSAR timing modeling. In: Design Automation and Test in Europe (DATE) (2008)
19.
Heinecke, H., Bielefeld, J., Schnelle, K.-P., Maldener, N., Fennel, H., Weis, O., Weber, T., Ruh, J., Lundh, L., Sandén, T.: AUTOSAR-current results and preparations for exploitation. In: Euroforum Conference (2006)
20.
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)
21.
Quadri, I.R., Gamatié, A., Boulet, P., Meftali, S., Dekeyser, J.-L.: Expressing embedded systems configurations at high abstraction levels with UML MARTE profile: advantages, limitations and alternatives. J. Syst. Archit. 58, 178–194 (2012)CrossRef
22.
Belategi, L., Sagardui, G., Etxeberria, L., Azanza, M.: Embedded software product lines: domain and application engineering model-based analysis processes. processes. J. Softw. Evol. Proc. (2012). doi:10.​1002/​smr.​1568
23.
Henia, R., Rioux, L., Vergnaud, T.: Industrial adaptation of MARTE for early scheduling analysis of component-based applications. In: 4ht International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, p. 7 (2012)
24.
Koudri, A., Cuccuru, A., Gerard, S., Terrier, F.: Designing heterogeneous component based systems: evaluation of MARTE standard and enhancement proposal. In: Model Driven Engineering Languages and Systems: pp. 243–257. Springer, Berlin (2011)
25.
Vidal, J., De Lamotte, F., Gogniat, G., Soulard, P., Diguet, J.-P.: A co-design approach for embedded system modeling and code generation with UML and MARTE. In: Design, Automation and Test in Europe Conference and Exhibition, 2009. DATE’09, pp. 226–231 (2009)
26.
Choi, J., Bae, D.-H.: An Approach to Constructing Timing Diagrams from UML/MARTE Behavioral Models for Guidance and Control Unit Software. In: Computer Applications for Database, Education, and Ubiquitous Computing: pp. 107–110. Springer, New York (2012)
27.
Peñil, P., Medina, J., Posadas, H., Villar, E.: Generating heterogeneous executable specifications in SystemC from UML/MARTE models. Innov. Syst. Softw. Eng. 6, 65–71 (2010)CrossRef
28.
Medina, J.L., Cuesta, A.G.: Model-based analysis and design of real-time distributed systems with Ada and the UML profile for MARTE. In: Reliable Software Technologies-Ada-Europe, pp. 89–102. Springer, New York 2011 (2011)
29.
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–8 (2011)
30.
Sun, Q., Huang, X., Li, J., Zhang, T.: Timing Aspects Construction Using UML-MARTE Profile. In: Trustworthy Computing and Services: pp. 474–481. Springer, New Yok (2013)
31.
Merseguer, J., Bernardi, S.: Dependability analysis of DES based on MARTE and UML state machines models. Discret. Event Dyn. Syst. 22, 163–178 (2012)MATHMathSciNetCrossRef
32.
Behjati, R., Yue, T., Briand, L.C., Selic, B.: SimPL: a product-line modeling methodology for families of integrated control systems. Inf. Softw. Technol. 55(3), 607–629 (2013)
33.
34.
35.
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, 633–670 (2012)
36.
Iqbal, M.Z., Arcuri, A., Briand, L.: Code generation from UML/MARTE/OCL Environment Models to Support Automated System Testing of Real-time Embedded Software. Simula Research Laboratory, Technical, Report (2011–04) (2011)
37.
Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling and simulation for automated testing of soft real-time embedded software. Softw. Syst. Model. (2013). doi:10.​1007/​s10270-013-0328-6
38.
Arcuri, A., Iqbal, M., Briand, L., et al.: Black-box system testing of real-time embedded systems using random and search-based testing. In: Petrenko, A. (ed.) Testing Software and Systems, vol. 6435, pp. 95–110. Springer, Berlin (2010)CrossRef
39.
Iqbal, M.Z., Arcuri, A., Briand, L.: Empirical investigation of search algorithms for environment model-based testing of real-time embedded software. In: International Symposium on Software Testing and Analysis (ISSTA), pp. 199–209 (2012)
40.
Iqbal, M.Z., Arcuri, A., Briand, L.: Automated System Testing of Real-Time Embedded Systems Based on Environment Models. Simula Research Laboratory, Technical, Report (2011–19) (2011)
41.
Iqbal, M.Z., Arcuri, A., Briand, L.: Combining search-based and adaptive random testing strategies for environment model-based testing of real-time embedded systems. In: Symposium on Search-based, Software Engineering, pp. 136–151 (2012)
42.
Iqbal, M.Z., Arcuri, A., Briand, L.: Environment modeling with UML/MARTE to support black-box system testing for real-time embedded systems: methodology and industrial case studies. In: Petriu, D. (ed.) Model Driven Engineering Languages and Systems, vol. 6394, pp. 286–300. Springer, Berlin (2010)
43.
44.
Selic, B., Gérard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. Morgan Kaufmann, Burlington (2013)
45.
46.
America, P., Thiel, S., Ferber, S., Mergel, M.: Introduction to Domain Analysis, Eureka 2023 Programme (2001)
47.
48.
Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process. Prentice Hall PTR, Upper Saddle River, NJ (2001)
49.
Yue, T., Briand, L., Selic, B., Gan, Q.: Experiences with Model-based Product Line Engineering for Developing a Family of Integrated Control Systems: an Industrial Case Study. Simula Research Laboratory, Technical Report (2012–06) (2012)
50.
Lagarde, F., Espinoza, H., Terrier, F., André, C., Gérard, S.: Leveraging patterns on domain models to improve UML profile definition. In: Fundamental Approaches to Software Engineering (2008)
51.
Weilkiens, T.: Systems Engineering with SysML/UML: Modeling, Analysis, Design. Morgan Kaufmann, Burlington (2008)
52.
53.
54.
55.
56.
57.
58.
Oldevik, J.: MOFScript user guide. Version 0.6 (MOFScript v 1.1. 11) (2006)
59.
60.
Grossman, M., Aronson, J.E., McCarthy, R.V.: Does UML make the grade? Insights from the software development community. Inf. Softw. Technol. 47, 383–397 (2005)CrossRef
61.
Suess, J.G., Fritzson, P., Pop, A.: The impreciseness of UML and implications for modelicaML. In: Workshop on Equation-Based Object-Oriented Languages and Tools, (EOOLT’2008), pp. 17–26 (2008)
Metadaten
Titel
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines
verfasst von
Muhammad Zohaib Iqbal
Shaukat Ali
Tao Yue
Lionel Briand
Publikationsdatum
01.10.2015
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 4/2015
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-014-0405-5

Weitere Artikel der Ausgabe 4/2015

Software and Systems Modeling 4/2015 Zur Ausgabe

Regular Paper

Describing and assessing availability requirements in the early stages of system development

Regular Paper

A framework for qualitative assessment of domain-specific languages

Editorial

Models for digitalization

Regular Paper

Spider Graphs: a graph transformation system for spider diagrams

Special Section Paper

Evaluating the effort of composing design models: a controlled experiment

Regular Paper

On the comprehension of workflows modeled with a precise style: results from a family of controlled experiments

Premium Partner

    Bildnachweise