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 1/2018

07.04.2016 | Regular Paper

Model-based requirements specification of real-time systems with UML, SysML and MARTE

verfasst von: Fabíola Gonçalves C. Ribeiro, Carlos E. Pereira, Achim Rettberg, Michel S. Soares

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

Einloggen

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

search-config
loading …

Abstract

Activities of specification, analysis and design of real-time systems (RTS) are highly dependent on an effective understanding of the application domain and on the thorough representation of their basic requirements. Model-based approaches using modeling languages such as UML are often applied to contribute to handle complexity of RTS development. However, UML alone does not completely represent important features associated with these systems, such as relationship with hardware elements and an effective representation of timing constraints. This article explores the combined use of UML and its profiles SysML and MARTE for modeling hardware and software requirements of RTS, with application to a case of controlling urban road traffic. The SysML profile alone does not present the representation of temporal, behavioral and performance requirements. The MARTE profile provides key resources to specify non-functional requirements for RTS, in addition to a clear description of the various relevant aspects of requirements definition of RTS, as for instance, temporal aspects and constraints. The main objective is to present the combined application of SysML with MARTE stereotypes, which enables the specification of different features of individual software requirements. Thus, in addition to the factors mentioned above, we can say that the proposed approach has an important role to specify RTS at different levels of detail and levels of abstraction.
Vorheriger Artikel On the use of models for high-performance scientific computing applications: an experience report

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.
Agarwal, R., Sinha, A.P.: Object-oriented modeling with UML: a study of developers’ perceptions. Commun. ACM 46(9), 248–256 (2003)CrossRef
2.
Albinet, A., Boulanger, J.-L., Dubois, H., Peraldi-Frati, M.-A., Sorel, Y., Van, Q.-D.: Model-based methodology for requirements traceability in embedded systems. In: Proceedings of 3rd European Conference on Model Driven Architecture Foundations and Applications (2007)
3.
4.
Bair, L.J., Tolk, A.: Towards a unified theory of validation. Proc. Simul. Conf. 2013(Winter), 1245–1256 (2013)
5.
6.
Belategi, L., Sagardui, G., Etxeberria, L.: MARTE mechanisms to model variability when analyzing embedded software product lines. In: 14th Proceedings of the International Conference on Software Product Lines, pp. 466–470 (2010)
7.
David, P., Idasiak, V., Kratz, F.: Reliability study of complex physical systems using SysML. Reliab. Eng. Syst. Saf. 95, 431–450 (2010)CrossRef
8.
Demathieu, S., Thomas, F., Andr, C., Grard, S., Terrier, T.: First experiments Using the UML Profile for MARTE. In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), pp. 50–57. IEEE Computer Society, Silver Spring, MD (2008)
9.
Dhavleesh, R., Rajesh, B., Maninder, S.: Software clone detection: a systematic review. Inf. Softw. Technol. 55(7), 1165–1199 (2013)CrossRef
10.
Dubois, H., Peraldi-Frati, M., Lakhal, F.: A Model for requirements traceability in a heterogeneous model-based design process: application to automotive embedded systems. In: 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 233–242 (2010)
11.
Ebeid, E., Fummi, F., Quaglia, D., Stefanni, F.: Refinement of UML/MARTE models for the design of networked embedded systems. In: Europe Conference & Exhibition Design, Automation & Test, pp. 1072–1077 (2012)
12.
Ebeid, E.S.M., Fummi, F., Quaglia, D.: Model-driven design of network aspects of distributed embedded systems. IEEE Trans. CAD Integr. Circuits Syst. 34(4), 603–614 (2015)CrossRef
13.
Espinoza, H., Richter, K., Gérard, S.: Evaluating MARTE in an industry-driven environment: TIMMOś challenges for AUTOSAR timing modeling. In: Conference on Design, Automation and Test in Europe (DATE), MARTE Workshop, volume 07002 (2008)
14.
Espinoza, H., Cancila, D., Selic, B., Gérard, S.: Challenges in combining SysML and MARTE for model-based design of embedded systems. In: Paige, R., Hartman, A., Rensink, A. (eds.) Model Driven Architecture—Foundations and Applications. Lecture Notes in Computer Science, vol. 5562, pp. 98–113. Springer, Berlin (2009)
15.
Fishwick, P., Brailsford, S., Taylor, S. J. E., Tolk, A., Uhrmacher, A.: Modeling for everyone: emphasizing the role of modeling in stem education. In: Proceedings of the 2014 Winter Simulation Conference, WSC ’14, pp. 2786–2796 (2014)
16.
Gomez, C., DeAntoni, J., Mallet, F.: Multi-view power modeling based on UML, MARTE and SysML. In: EUROMICRO-SEAA, pp. 17–20 (2012)
17.
Heisel, M., Cote, I.: A UML profile and tool support for evolutionary requirements engineering. In: 15th Software Maintenance and Reengineering, pp. 161–179 (2011)
18.
Helming, J., Schneider, F., Haeger, M., Kaminski, C., Bruegge, B., Berenbach, B.: Towards a unified requirements modeling language. In: 15th International Workshop on Requirements Engineering Visualization (REV), pp. 53–57 (2010)
19.
IEEE Std 830-1998. IEEE recommended practice for software requirements specifications, pp. 1–40 (1998)
20.
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. Technical Report 2011-04, Version 2, Simula Research Laboratory, Technical Report (2011-04), Version 2 (2011)
21.
Iqbal, M.Z., Ali, S., Yue, T., Briand, L.: Experiences of applying UML/MARTE on three industrial projects. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems, MODELS’12, pp. 642–658 (2012)
22.
Kumar, B., Jasperneite, J.: UML profiles for modeling real-time communication protocols. J Object Technol. 9, 178–198 (2010)CrossRef
23.
Laplante, P.: Real-time Systems Design and Analysis, 3rd edn. Wiley India Pvt. Limited, New York (2006)
24.
Li, L., Ma, L., Wang, N., Yang, Q.: Modeling method of military aircraft support process based SysML. In: International Conference in Reliability, Maintainability and Safety (ICRMS), pp. 1247 – 1251. (2011)
25.
Linhares, R.S., Oliveira, R.S., Farines, J.M., Vernadat, F.: Introducing the modeling and verification process in SysML. In: Conference on Emerging Technologies and Factory Automation, pp. 344–351 (2007)
26.
Marques, M. R.S., Siegert, E., Brisolara, L.: Integrating UML, MARTE and SysML to improve requirements specification and traceability in the embedded domain. In: 12th IEEE International Conference on Industrial Informatics (INDIN), pp. 176–181 (2014)
27.
Meng, C., Kim, S., Son, Y.-J., Kubota, C.: A SysML-based simulation model aggregation framework for seedling propagation system. Proc. Simul. Conf. 2013(Winter), 2180–2191 (2013)
28.
Mura, M., Murillo, L.G., Prevostini, M.: Model-based design space exploration for RTES with SysML and MARTE. In: Forum on Specification, Verification and Design Languages (FDL), pp. 203–208. (2008)
29.
OMG, M.: UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems Version, 1.1. Technical report, OMG. (2011a)
30.
OMG, S.: Systems modeling language (sysml) specification—version 1.1. Technical report (2010)
31.
OMG, U.: Unified modeling language—version 2.3. Technical report. version 2.3. (2011b)
32.
Parviainen, P., Tihinen, M., Lormanms, M., Solingen, R.: Requirements engineering: dealing with the complexity of sociotechnical systems development. IdeaGroup Inc. Chapter 1. (2004)
33.
Pinheiro, F.: Perspectives on Software Requirements, Chapter Requirements Traceability, pp. 93–113. Springer, Berlin (2003)
34.
Quadri, I.R.: MARTE based modeling approach for partial dynamic reconfigurable FPGAs. In: Workshop on Embedded Systems for Real-Time Multimedia, pp. 47–52 (2008)
35.
Quadri, I.R., Soares, L., Gray, I., Indrusiak, L.S., Bagnato, A., Sadovykh, A.: MADES: a SysML/MARTE high level methodology for real-time and embedded systems . In: 7th International conference on High-Performance and Embedded Architectures and Compilers, pp. 1–2 (2012a)
36.
Quadri, I.R., Brosse, E., Gray, I., Matragkas, N.D., Indrusiak, L.S., Rossi, M., Bagnato, A., Sadovykh, A.: MADES FP7 EU Project: effective high level SysML/MARTE methodology for real-time and embedded avionics systems. In: 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), pp. 1–8 (2012b)
37.
Ribeiro, F.G.C., Soares, M.S.: An approach for modeling real-time requirements with SysML and MARTE stereotypes. In: ICEIS 2013—Proceedings of the 15th International Conference on Enterprise Information Systems, vol. 2, pp. 70–81 (2013)
38.
Robbins, J.E., Hilbert, D.M., Redmiles, D.F. : Theories, methods and tools in program comprehension: past, present and future. In: 13th International Workshop on Program Comprehension (IWPC), pp. 181–191 (2005)
39.
Roger, P.R., Elena, S.P., William, R.M.: Traffic Engineering, 3rd edn. Prentice Hall, New Jersey (2003)
40.
Shousha, M., Briand, L.C., Labiche, Y.: A UML/MARTE model analysis method for uncovering scenarios leading to starvation and deadlocks in concurrent systems. IEEE Trans. Softw. Eng. 38(2), 354–374 (2012)CrossRef
41.
Shuman, E.A.: Understanding executable architectures through an examination of language model elements. In: Proceedings of the 2010 Summer Computer Simulation Conference, SCSC ’10, pp. 483–497 (2010)
42.
Silvestre, E.A., Soares, M.S.: Modeling road traffic signals control using UML and the MARTE profile. In: 12th Computational Science and Its Applications (ICCSA 2012), pp. 1–15 (2012)
43.
Soares, M.S.: A framework for multi-layered requirements documentation and analysis. In: Computer Software and Applications Conference (COMPSAC), pp. 308–313 (2011)
44.
Soares, M.S., Vrancken, J.: Requirements specification and modeling through SysML. In: International Conference on Systems, Man and Cybernetics, pp. 1735–1740 (2007)
45.
Soares, M.S., Vrancken, J.: Model-driven user requirements specification using SysML. J. Softw. 3, 57–69 (2008)CrossRef
46.
Som, S.S.: Supporting use case based requirements engineering. Inf. Softw. Technol. 48, 43–58 (2006)CrossRef
47.
Valles-Barajas, F.: A Formal model for the requirements diagrams of SysML. IEEE Latin Am. Trans. 8(3), 259–268 (2010)
48.
Von, B.M., Braun, P., Schroder, C.: Model based requirements engineering for embedded software. In: 10th IEEE International Requirements Engineering Conference, p. 92 (2002)
49.
Wilde, N., Buckellew, M., Page, H., Rajlich, V., Pounds, L.: A comparison of methods for locating features in legacy software. J. Syst. Softw. 65, 104–114 (2003)CrossRef
50.
Xu, J., Li, T., Xie, Z., Gao, T.: Use cases and feedback in functional requirements analysis. In: Information Technology, Computer Engineering and Management Sciences (ICM), vol. 2, pp. 54–57 (2011)
51.
Zaki, M. Z.M., Jawawi, D.N.A.: Model-based methodology for implementing marte in embedded real-time software. In: IEEE Symposium on Computers & Informatics (ISCI), pp. 536–541 (2011)
Metadaten
Titel
Model-based requirements specification of real-time systems with UML, SysML and MARTE
verfasst von
Fabíola Gonçalves C. Ribeiro
Carlos E. Pereira
Achim Rettberg
Michel S. Soares
Publikationsdatum
07.04.2016
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 1/2018
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-016-0525-1

Weitere Artikel der Ausgabe 1/2018

Software and Systems Modeling 1/2018 Zur Ausgabe

Special Section Paper

Leveraging annotation-based modeling with Jump

Theme Section Paper

Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic

Editorial

SoSyM reflections of 2017: a journal status report

Special Section Paper

Foundations for Streaming Model Transformations by Complex Event Processing

Theme Section Paper

Toward a well-founded theory for multi-level conceptual modeling

Theme Section Paper

Formalization of the classification pattern: survey of classification modeling in information systems engineering